diff --git a/.github/coq-concert.opam.locked b/.github/coq-concert.opam.locked
index 543d27ae..5426e865 100644
--- 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
index 7fe981cc..747da0bd 100644
--- 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
index 27bcda1f..90a45f11 100644
--- 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}
 ]