Include examples in all make target

4ever2 · Jul 10, 2024 · 934ac67 · 934ac67
1 parent 1ec7267
commit 934ac67
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/.github/coq-concert.opam.locked b/.github/coq-concert.opam.locked
@@ -25,7 +25,7 @@ depends: [
   "coq-stdpp" {= "1.10.0"}
 ]
 build: [
-  [make]
+  [make "core"]
   [make "examples"] {with-test}
   [make "html"] {with-doc}
 ]

diff --git a/Makefile b/Makefile
@@ -1,6 +1,9 @@
-all: utils execution embedding extraction
+all: utils execution embedding extraction examples
 .PHONY: all
 
+core: utils execution embedding extraction
+.PHONY: core
+
 utils:
 	+make -C utils
 .PHONY: utils

diff --git a/coq-concert.opam b/coq-concert.opam
@@ -36,7 +36,7 @@ pin-depends: [
 ]
 
 build: [
-  [make]
+  [make "core"]
   [make "examples"] {with-test}
   [make "html"] {with-doc}
 ]