Skip to content
Snippets Groups Projects
Commit 62b0b504 authored by Raphaël Rieu-Helft's avatar Raphaël Rieu-Helft
Browse files

Fix Makefile

parent dde6b82c
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
examples/multiprecision/Makefile
+ 2
− 2
View file @ 62b0b504
BENCH ?= no BENCH ?= no
ifeq ($(BENCH),yes) ifeq ($(BENCH),yes)
WHY3=../../../bin/why3.opt WHY3=../../bin/why3.opt
else else
ifeq ($(BINDIR),) ifeq ($(BINDIR),)
WHY3=why3 WHY3=why3
...@@ -22,7 +22,7 @@ dir: ...@@ -22,7 +22,7 @@ dir:
mkdir -p build mkdir -p build
cfiles: why3 dir cfiles: why3 dir
why3 extract -D c -L . --recursive --modular --interface -o build/ wmpn.mlw $(WHY3) extract -D c -L . --recursive --modular --interface -o build/ wmpn.mlw
extract: why3 dir cfiles extract: why3 dir cfiles
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment