diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-01-20 13:02:07 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-01-20 13:02:07 +0100 |
| commit | 860e340b9a383964773d9c4523fb02a1de407e7f (patch) | |
| tree | a2ef06afe03257d4a216e6c3c47907c7cbe33d81 /Makefile | |
| parent | 58f6c7b5f4935fe9aca0eceb4ce8684d9816c7b5 (diff) | |
| download | compcert-860e340b9a383964773d9c4523fb02a1de407e7f.tar.gz compcert-860e340b9a383964773d9c4523fb02a1de407e7f.zip | |
Renamed LIB into VLIB to avoid clashes with environment variables.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -49,7 +49,7 @@ FLOCQ=\ # General-purpose libraries (in lib/) -LIB=Axioms.v Coqlib.v Intv.v Maps.v Heaps.v Lattice.v Ordered.v \ +VLIB=Axioms.v Coqlib.v Intv.v Maps.v Heaps.v Lattice.v Ordered.v \ Iteration.v Integers.v Archi.v Fappli_IEEE_extra.v Floats.v \ Parmov.v UnionFind.v Wfsimpl.v \ Postorder.v FSetAVLplus.v IntvSets.v @@ -112,7 +112,7 @@ DRIVER=Compopts.v Compiler.v Complements.v # All source files -FILES=$(LIB) $(COMMON) $(BACKEND) $(CFRONTEND) $(DRIVER) $(FLOCQ) \ +FILES=$(VLIB) $(COMMON) $(BACKEND) $(CFRONTEND) $(DRIVER) $(FLOCQ) \ $(PARSERVALIDATOR) $(PARSER) all: |