Add dune support back

.github/workflows/docker-action.yml

@@ -20,7 +20,7 @@ jobs:
           - 'coqorg/coq:dev'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-dpdgraph.opam'
@@ -29,6 +29,7 @@ jobs:
         env:
           OPAMWITHTEST: 'true'
 
+
 # See also:
 # https://github.com/coq-community/docker-coq-action#readme
 # https://github.com/erikmd/docker-coq-github-action-demo

.gitignore

@@ -1,47 +1,4 @@
-.depend
-*.annot
-*.cmo
-*.cma
-*.cmi
-*.a
-*.o
-*.cmx
-*.cmxs
-*.cmxa
-*.mlg.d
-version.ml
-graphdepend.ml
-searchdepend.ml
-
-autom4te.cache
-configure
-Makefile
-Make_coq.conf
-.Make_coq.d
-config.log
-config.status
-*.aux
-*.glob
-*.mllib.d
-*.v.d
-*.vo
-*.vok
-*.vos
-
-coqthmdep
-dpd2dot
-dpdusage
-Make_coq
-CoqMakefile.conf
-dpd_lex.ml
-dpd_parse.ml
-dpd_parse.mli
-tests/*.log
-tests/*.ok
-tests/*.dot
-tests/*.dpd
-!tests/*.err.dpd
-tests/*.glob
-tests/Test.vo
-
-META.coq-dpdgraph
+_build
+*~
+.merlin
+*.install

Makefile

@@ -0,0 +1,12 @@
+
+build:
+	dune build
+
+install:
+	dune install
+
+test:
+	dune test
+
+promote:
+	dune promote