Merge pull request #59 from fblanqui/warn

remove configure and Makefile

Author: gburel

.github/workflows/main.yml

@@ -1,14 +1,14 @@
 on:
   pull_request:
-    types: [opened, synchronize, edited, reopened]
+    types: [opened, synchronize, reopened]
   push:
   workflow_dispatch:
 jobs:
   build_lambdapi:
     strategy:
       fail-fast: false
       matrix:
-        ocaml-version: [5.4.1, 5.3.0, 5.2.1, 4.14.2] #5.1.1, 5.0.0, 4.14.2, 4.13.1, 4.12.1, 4.11.2, 4.10.2, 4.09.1, 4.08.1]
+        ocaml-version: [5.5.0, 5.4.1, 5.3.0, 5.2.1, 5.1.1, 5.0.0, 4.14.4] #, 4.13.1, 4.12.1, 4.11.2, 4.10.2, 4.09.1, 4.08.1]
     runs-on: ubuntu-latest
     steps:
       - name: checking out lambdapi repo ...
@@ -29,6 +29,4 @@ jobs:
       - name: compiling zenon_modulo ...
         run: |
           eval `opam env`
-          ./configure
-          make zenon_modulo.bin
-          
+          dune build

.gitignore

@@ -1,36 +1,2 @@
-*.vok
-*.vos
-*.cm[iox]
-*.o
-*.annot
-*.vo
-*.glob
-.config_var
-.depend
-*.dko
-*.bin
-*.byt
-zenon_modulo
-*.output
-parsecoq.ml
-parsecoq.mli
-parsetptp.ml
-parsetptp.mli
-parsetstp.ml
-parsetstp.mli
-parsezen.ml
-parsezen.mli
-parsedk.ml
-parsedk.mli
-lexcoq.ml
-lextptp.ml
-lextstp.ml
-lexsmtlib.ml
-lexzen.ml
-lexdk.ml
-checksum.ml
-config.ml
-.svn
-.zenon*.aux
 *~
-_build/
+_build

Makefile

@@ -0,0 +1,4 @@
+let libdir =
+  let root = try Sys.getenv "OPAM_SWITCH_PREFIX" with Not_found -> "/usr/local"
+  in Filename.concat root "lib"
+;;

config.ml

@@ -0,0 +1,2 @@
+dko.mk
+*.dko

dk/.gitignore

@@ -0,0 +1,27 @@
+.PREFIX:
+
+.PHONY: default
+default: dko
+
+DKSRC := cc.dk dk_bool.dk dk_logic.dk dk_tuple.dk basics_minimal.dk zen.dk zenon_focal.dk zenon.dk
+
+DKOBJ := $(DKSRC:%.dk=%.dko)
+
+.PHONY: dko
+dko: $(DKOBJ)
+
+%.dko: %.dk
+	dk check -e $*.dk
+
+include dko.mk
+
+dko.mk:
+	dk dep $(DKSRC) > $@
+
+.PHONY: clean-dko
+clean-dko:
+	-rm -f $(DKOBJ)
+
+.PHONY: clean
+clean: clean-dko
+	-rm -f dko.mk