From c27be22e99e1b3e27119bd5cc83816b5f10d8819 Mon Sep 17 00:00:00 2001 From: Pierre Boutillier Date: Thu, 7 Mar 2024 23:46:49 +0100 Subject: [PATCH] Fix Makefile (and CI) --- .github/workflows/ci.yml | 2 +- Makefile | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5bed2cbda..26d726437 100644 --- 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 index 3d00d0cb9..52bbb7c63 100644 --- 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