bench/extraction/852_int16/Makefile

   1
   2 BENCH ?= no
   3
   4 ifeq ($(BENCH),yes)
   5   WHY3=../../../bin/why3.opt
   6 else
   7   ifeq ($(BINDIR),)
   8     WHY3=why3
   9   else
  10     WHY3=$(BINDIR)/why3
  11   endif
  12 endif
  13
  14 .PHONY: clean extract
  15
  16 clean:
  17         rm -rf build
  18
  19 extract build/852_int16.c:
  20         mkdir -p build
  21         $(WHY3) extract -D c -o build/852_int16.c 852_int16.mlw
  22
  23 build/tests: build/852_int16.c
  24         gcc -Wall -g -pedantic -Wno-unused-function -std=c11 build/852_int16.c main.c -o build/tests