mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
86beb0a677
Ocamlfind is not installed on the "system" setup, so we cannot use it to locate Zarith. In fact, Zarith might not even be installed, which means that Num should be used instead. So, we use the same mechanism as other extraction tests. This commit also restores proper error messages in case of failure.
23 lines
334 B
Makefile
23 lines
334 B
Makefile
include ../../share/Makefile.config
|
|
|
|
WHY3 = ../../bin/why3.$(OCAMLBEST)
|
|
INCLUDE += -I ../../lib/why3
|
|
|
|
%.ml: %.mlw
|
|
$(WHY3) extract -D ocaml64 $< > $@
|
|
|
|
%.cmo: %.ml
|
|
ocamlc $(INCLUDE) -c $<
|
|
|
|
%.cmx: %.ml
|
|
ocamlopt $(INCLUDE) -c $<
|
|
|
|
%.c: %.mlw
|
|
$(WHY3) extract -D c $< > $@
|
|
|
|
%.o: %.c
|
|
$(CC) -Wall -c $<
|
|
|
|
clean::
|
|
rm -f *.ml *.c *.o *.cm*
|