Commit 7d58836e authored by MARCHE Claude's avatar MARCHE Claude

makes compilation of resetgc.c more portable

parent ff841973
......@@ -563,7 +563,7 @@ bin/why3ide: bin/why3ide.@OCAMLBEST@
ln -sf why3ide.@OCAMLBEST@ $@
src/ide/resetgc.o: src/ide/resetgc.c
$(CC) $(CFLAGS) -c -o $@ $<
$(OCAMLC) -c -ccopt "-Wall -o $@" $<
# depend and clean targets
......
......@@ -14,6 +14,6 @@ extern double caml_extra_heap_resources;
CAMLprim value ml_reset_gc(value unit)
{
CAMLparam1(unit);
caml_extra_heap_resources = - 1. / 0.;
caml_extra_heap_resources = - 1.0 / 0.0;
CAMLreturn(Val_unit);
}
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