From 934ac67ae1a39cd20bc8349459680818b5344377 Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Wed, 10 Jul 2024 02:17:08 +0200
Subject: [PATCH] Include examples in all make target

---
 .github/coq-concert.opam.locked | 2 +-
 Makefile                        | 5 ++++-
 coq-concert.opam                | 2 +-
 3 files changed, 6 insertions(+), 3 deletions(-)

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}
 ]