add Makefile

proof-ninja · Nov 9, 2019 · 737623b · 737623b
1 parent 60ce4a6
commit 737623b
Show file tree

Hide file tree

Showing 4 changed files with 21 additions and 8 deletions.
diff --git a/.gitignore b/.gitignore
@@ -2,6 +2,5 @@
 *.v.d
 *.glob
 *~
-Makefile
 Makefile.conf
 *.aux
diff --git a/Makefile b/Makefile
@@ -0,0 +1,16 @@
+all: Makefile.coq
+	$(MAKE) -f Makefile.coq all
+
+clean: Makefile.coq
+	$(MAKE) -f Makefile.coq cleanall
+	rm -f Makefile.coq Makefile.coq.conf
+
+Makefile.coq: _CoqProject
+	coq_makefile -f _CoqProject -o Makefile.coq
+
+_CoqProject Makefile: ;
+
+%: Makefile.coq
+	$(MAKE) -f Makefile.coq $@
+
+.PHONY: all clean
diff --git a/README.org b/README.org
@@ -31,18 +31,17 @@ All versions available from opam.
 
 With Coq 8.10.
 
-3. ~git clone [email protected]:affeldt-aist/infotheo.git~
-4. ~cd infotheo~
+1. ~git clone [email protected]:affeldt-aist/infotheo.git~
+2. ~cd infotheo~
 
 If opam is installed, do:
 
-5. ~opam install .~
+3. ~opam install .~
 
 If opam is not installed but if the requirements are met, do:
 
-5. ~coq_makefile -f _CoqProject -o Makefile~
-6. ~make~
-7. ~make install~
+3. ~make~
+4. ~make install~
 
 *** About Windows 10
 

diff --git a/opam b/opam
@@ -18,7 +18,6 @@ authors: [
   "Mitsuharu Yamamoto"
 ]
 build: [
-  ["coq_makefile" "-f" "_CoqProject" "-o" "Makefile"]
   [make "-j%{jobs}%"]
   [make "-C" "extraction" "tests"] {with-test}
 ]
-Original file line number
+Diff line change
@@ Expand Up / @@ -2,6 +2,5 @@ @@
     *.v.d
     *.glob
     *~
-    Makefile
     Makefile.conf
     *.aux