19 lines
690 B
Diff
19 lines
690 B
Diff
--- alt-ergo-1.30.old/Makefile.users 2017-11-09 09:55:47.337871409 +0000
|
|
+++ alt-ergo-1.30/Makefile.users 2017-11-09 10:00:52.374639872 +0000
|
|
@@ -140,14 +140,14 @@
|
|
$(OCAMLC) $(BFLAGS) -o $@ $(BIBBYTE) $^
|
|
|
|
$(NAME).opt: $(MAINCMX)
|
|
- $(OCAMLOPT) $(OFLAGS) -o $@ $(BIBOPT) $^
|
|
+ $(OCAMLOPT) $(OFLAGS) -runtime-variant _pic -o $@ $(BIBOPT) $^
|
|
|
|
####
|
|
$(GUINAME).byte: $(GUICMO)
|
|
$(OCAMLC) $(BFLAGS) -o $(GUINAME).byte $(BIBBYTE) $(BIBGUIBYTE) $^
|
|
|
|
$(GUINAME).opt: $(GUICMX)
|
|
- $(OCAMLOPT) $(OFLAGS) -o $(GUINAME).opt $(BIBOPT) $(BIBGUIOPT) $^
|
|
+ $(OCAMLOPT) $(OFLAGS) -runtime-variant _pic -o $(GUINAME).opt $(BIBOPT) $(BIBGUIOPT) $^
|
|
|
|
ifeq ($(ENABLEGUI),yes)
|
|
gui: $(GUINAME).$(OCAMLBEST)
|