Fix Makefile (and CI)

Kappa-Dev · Mar 8, 2024 · c27be22 · c27be22 · antoinepouille · Mar 8, 2024
1 parent 51de28d
commit c27be22
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -65,7 +65,7 @@ jobs:
       - name: Make Kappa
         run: |
           opam exec -- make all
-          opam exec -- dune build
+          opam exec -- dune build @install
       - name: Uninstall nose
         run: opam exec -- pip uninstall -y nose
       - name: Reinstall nose

diff --git a/Makefile b/Makefile
@@ -1,4 +1,4 @@
-.DEFAULT_GOAL := all
+DEFAULT_GOAL := all
 
 include externals.mk
 
@@ -117,11 +117,11 @@ profiling:
 	@+$(MAKE) EXTRAFLAGS="-pkg landmarks.ppx -pkg landmarks" OCAML_LANDMARKS="auto,allocation" all
 
 all:
-	dune build --only-packages kappa-library,kappa-binaries
+	dune build --only-packages kappa-library,kappa-binaries @install
 	ln -n -s _build/install/default/bin bin
 
 agents:
-	dune build --only-packages kappa-library,kappa-binaries,kappa-agents
+	dune build --only-packages kappa-library,kappa-binaries,kappa-agents @install
 
 clean_ide:
 	rm -rf gui/Kappa.iconset