diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-16 07:52:57 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-16 07:52:57 +0200 |
commit | 6e4f49f7b8154d21c2c42f9978e6829d7a22a1de (patch) | |
tree | 71bd99acff0d01fe5a81def039ac011d0b7339dd /Makefile | |
parent | 2e54a9c599ef13e4fe84ec80fac4c1835a052241 (diff) | |
download | compcert-kvx-6e4f49f7b8154d21c2c42f9978e6829d7a22a1de.tar.gz compcert-kvx-6e4f49f7b8154d21c2c42f9978e6829d7a22a1de.zip |
starting to move common files
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -23,7 +23,7 @@ endif BACKENDLIB?=Asmgenproof0.v Asmgenproof1.v -DIRS=lib common $(ARCHDIRS) backend cfrontend driver \ +DIRS=lib lib/Impure common $(ARCHDIRS) backend cfrontend driver \ flocq/Core flocq/Prop flocq/Calc flocq/IEEE754 \ exportclight MenhirLib cparser |