diff options
| author | Daniil Baturin <daniil@baturin.org> | 2016-12-13 08:11:55 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2016-12-13 08:11:55 +0600 |
| commit | affd90247d952e2891b3195df1adc3b0b90a8561 (patch) | |
| tree | d0bffb0c21b38b35edc25966346085b340bdfdd4 /Makefile | |
| parent | d515e5be698397612630548652bf7c146da39d6d (diff) | |
| download | vyconf-affd90247d952e2891b3195df1adc3b0b90a8561.tar.gz vyconf-affd90247d952e2891b3195df1adc3b0b90a8561.zip | |
Remove oasis-generated files, not needed at least until we modify anything in them.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 3639f14..0000000 --- a/Makefile +++ /dev/null @@ -1,41 +0,0 @@ -# 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 |