commit 41c6f78bc0f5742569e4daa89245a25b1f74f0f2 parent 2fe984730da892b6e4c99dd56a1b3dcb69a0c5e8 Author: Georges Dupéron <georges.duperon@gmail.com> Date: Mon, 30 Jul 2018 01:03:39 +0200 Created project structure Makefile .travis.yml Empty .ml For now the .mli is auto-generated Diffstat:
| A | .gitignore | | | 5 | +++++ |
| A | .travis.yml | | | 11 | +++++++++++ |
| A | Makefile | | | 12 | ++++++++++++ |
| A | deques.ml | | | 0 |
4 files changed, 28 insertions(+), 0 deletions(-)
diff --git a/.gitignore b/.gitignore @@ -0,0 +1,4 @@ +/deques +/deques.cmi +/deques.cmo +/deques.mli +\ No newline at end of file diff --git a/.travis.yml b/.travis.yml @@ -0,0 +1,10 @@ +language: c + +addons: + apt: + packages: + - ocaml-interp + +script: + - make print-tool-versions + - make +\ No newline at end of file diff --git a/Makefile b/Makefile @@ -0,0 +1,12 @@ +.PHONY: all +all: deques deques.mli Makefile + +deques: deques.ml Makefile + ocamlc $< -o $@ + +deques.mli: deques.ml Makefile + ocamlc -i $< > $@ + +.PHONY: print-tool-versions +print-tool-versions: + ocamlc -version diff --git a/deques.ml b/deques.ml