diff options
| author | Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org> | 2018-06-03 18:26:33 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-06 17:18:18 +0200 |
| commit | b8552c55a3c65a3f598d155aeb764e68841ba501 (patch) | |
| tree | bfedb4c0fd97bceb9dd76490913d5049c032be07 /Makefile | |
| parent | da76ba512d1efbae8ab5ebcb79eb58c0085a026b (diff) | |
| download | compcert-b8552c55a3c65a3f598d155aeb764e68841ba501.tar.gz compcert-b8552c55a3c65a3f598d155aeb764e68841ba501.zip | |
Fix menhirLib namespaces, following changes in Menhir version 20180530
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -23,7 +23,7 @@ endif DIRS=lib common $(ARCHDIRS) backend cfrontend driver \ flocq/Core flocq/Prop flocq/Calc flocq/Appli exportclight \ - cparser cparser/validator + cparser cparser/MenhirLib RECDIRS=lib common $(ARCHDIRS) backend cfrontend driver flocq exportclight cparser @@ -227,7 +227,7 @@ driver/Version.ml: VERSION >driver/Version.ml cparser/Parser.v: cparser/Parser.vy - $(MENHIR) --coq cparser/Parser.vy + $(MENHIR) --coq-lib-path compcert.cparser.MenhirLib --coq cparser/Parser.vy depend: $(GENERATED) depend1 |