Merge pull request #27 from coq-community/no-dune-theories

work around problem with dune install by only using coq_makefile
coq-community · Nov 15, 2022 · 99fb0fd · 99fb0fd
2 parents 1d15808 + afacb32
commit 99fb0fd
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 7 deletions.
diff --git a/coq-stalmarck.opam b/coq-stalmarck.opam
@@ -15,9 +15,9 @@ description: """
 A two-level approach to prove tautologies using Stålmarck's
 algorithm in Coq."""
 
-build: ["dune" "build" "-p" name "-j" jobs]
+build: [make "-j%{jobs}%"]
+install: [make "install"]
 depends: [
-  "dune" {>= "2.5"}
   "coq" {= "dev"}
 ]
 

diff --git a/meta.yml b/meta.yml
@@ -8,7 +8,7 @@ nix: true
 doi: 10.1007/3-540-44659-1_24
 plugin: true
 branch: master
-dune: true
+dune: false
 
 synopsis: Verified implementation of Stålmarck's algorithm for proving tautologies in Coq
 

diff --git a/theories/dune b/theories/dune