diff options
| author | Pierre Letouzey | 2016-06-10 20:49:07 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-10 20:49:07 +0200 |
| commit | 5a6d7d842d55c0f9cd34498445fc1c09365ac056 (patch) | |
| tree | b5337dd9b1ae1484dcd2b78307e6d605d2865e7e /Makefile | |
| parent | cc0d765b70661d7f0a1a6bc5784597f21c7d331a (diff) | |
| parent | 282914c00d29565ec0fbe9d3a89163f9d3cb5141 (diff) | |
Merge branch 'pack-plugins'
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -66,7 +66,7 @@ endef ## Files in the source tree LEXFILES := $(call find, '*.mll') -export MLLIBFILES := $(call find, '*.mllib') +export MLLIBFILES := $(call find, '*.mllib') $(call find, '*.mlpack') export ML4FILES := $(call find, '*.ml4') export CFILES := $(call find, '*.c') @@ -80,9 +80,7 @@ EXISTINGMLI := $(call find, '*.mli') ## Files that will be generated GENML4FILES:= $(ML4FILES:.ml4=.ml) -GENPLUGINSMOD:=$(filter plugins/%,$(MLLIBFILES:%.mllib=%_mod.ml)) -export GENMLFILES:=$(LEXFILES:.mll=.ml) $(GENPLUGINSMOD) \ - tools/tolink.ml kernel/copcodes.ml +export GENMLFILES:=$(LEXFILES:.mll=.ml) tools/tolink.ml kernel/copcodes.ml export GENHFILES:=kernel/byterun/coq_jumptbl.h export GENVFILES:=theories/Numbers/Natural/BigN/NMake_gen.v export GENFILES:=$(GENMLFILES) $(GENMLIFILES) $(GENHFILES) $(GENVFILES) |