diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..0045f63 --- /dev/null +++ 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 new file mode 100644 index 0000000..90de8bf --- /dev/null +++ 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 new file mode 100644 index 0000000..6c687e8 --- /dev/null +++ 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 new file mode 100644 index 0000000..e69de29