Skip to content

why3
why3
Commit a620a3e3 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files
Options

Fix Makefiles when it comes to bench and examples.

parent 5fe1eb37
Hide whitespace changes
Inline Side-by-side
Showing with 15 additions and 3 deletions
examples/euler001/Makefile
View file @ a620a3e3
......@@ -6,11 +6,15 @@ ifeq ($(BENCH),yes)
WHY3SHARE=../../share
else
WHY3=$(BINDIR)/why3
WHY3SHARE=$(shell $WHY3 --print-datadir)
WHY3SHARE=$(shell $(WHY3) --print-datadir)
endif
include $(WHY3SHARE)/Makefile.config
ifeq ($(BENCH),yes)
INCLUDE += -I ../../lib/why3
endif
MAIN=main
OBJ=euler001__Euler001
......
examples/sudoku/Makefile
View file @ a620a3e3
......@@ -6,11 +6,15 @@ ifeq ($(BENCH),yes)
WHY3SHARE=../../share
else
WHY3=$(BINDIR)/why3
WHY3SHARE=$(shell $WHY3 --print-datadir)
WHY3SHARE=$(shell $(WHY3) --print-datadir)
endif
include $(WHY3SHARE)/Makefile.config
ifeq ($(BENCH),yes)
INCLUDE += -I ../../lib/why3
endif
MAIN = main
OBJ = sudoku__Grid sudoku__TheClassicalSudokuGrid sudoku__Solver
......
examples/vstte10_max_sum/Makefile
View file @ a620a3e3
......@@ -6,11 +6,15 @@ ifeq ($(BENCH),yes)
WHY3SHARE=../../share
else
WHY3=$(BINDIR)/why3
WHY3SHARE=$(shell $WHY3 --print-datadir)
WHY3SHARE=$(shell $(WHY3) --print-datadir)
endif
include $(WHY3SHARE)/Makefile.config
ifeq ($(BENCH),yes)
INCLUDE += -I ../../lib/why3
endif
MAIN=main
OBJ=vstte10_max_sum__MaxAndSum2 vstte10_max_sum__TestCase
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment