diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-02-02 09:03:43 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-02-02 09:03:43 +0600 |
| commit | 0a3e8391bed31a7e0049643a2956953201c2f3fa (patch) | |
| tree | e8a5d4ff8e420688645d03290bbee179ec6e1296 /Makefile | |
| parent | b7e7dea14bdc96cfa16f84555c609ae317a56493 (diff) | |
| download | vyconf-0a3e8391bed31a7e0049643a2956953201c2f3fa.tar.gz vyconf-0a3e8391bed31a7e0049643a2956953201c2f3fa.zip | |
Add basic oasis build setup.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..3639f14 --- /dev/null +++ b/Makefile @@ -0,0 +1,41 @@ +# OASIS_START +# DO NOT EDIT (digest: a3c674b4239234cbbe53afe090018954) + +SETUP = ocaml setup.ml + +build: setup.data + $(SETUP) -build $(BUILDFLAGS) + +doc: setup.data build + $(SETUP) -doc $(DOCFLAGS) + +test: setup.data build + $(SETUP) -test $(TESTFLAGS) + +all: + $(SETUP) -all $(ALLFLAGS) + +install: setup.data + $(SETUP) -install $(INSTALLFLAGS) + +uninstall: setup.data + $(SETUP) -uninstall $(UNINSTALLFLAGS) + +reinstall: setup.data + $(SETUP) -reinstall $(REINSTALLFLAGS) + +clean: + $(SETUP) -clean $(CLEANFLAGS) + +distclean: + $(SETUP) -distclean $(DISTCLEANFLAGS) + +setup.data: + $(SETUP) -configure $(CONFIGUREFLAGS) + +configure: + $(SETUP) -configure $(CONFIGUREFLAGS) + +.PHONY: build doc test all install uninstall reinstall clean distclean configure + +# OASIS_STOP |