From 62b0b504ece6817f2ed11e7c903a62717714f5ab Mon Sep 17 00:00:00 2001
From: Raphael Rieu-Helft <raphael.rieu-helft@lri.fr>
Date: Fri, 15 Jun 2018 15:15:24 +0200
Subject: [PATCH] Fix Makefile
---
examples/multiprecision/Makefile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/examples/multiprecision/Makefile b/examples/multiprecision/Makefile
index c3f91273f..2695c26ef 100644
--- a/examples/multiprecision/Makefile
+++ b/examples/multiprecision/Makefile
@@ -1,7 +1,7 @@
BENCH ?= no
ifeq ($(BENCH),yes)
- WHY3=../../../bin/why3.opt
+ WHY3=../../bin/why3.opt
else
ifeq ($(BINDIR),)
WHY3=why3
@@ -22,7 +22,7 @@ dir:
mkdir -p build
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
--
GitLab