11 lines
529 B
Diff
11 lines
529 B
Diff
--- Makefile.in.orig 2018-02-10 15:44:26.226883183 -0700
|
|
+++ Makefile.in 2018-02-12 19:34:20.930490137 -0700
|
|
@@ -214,7 +214,7 @@ jc/jc.cmx jc/jc.o: $(JCCMX_EXPORT)
|
|
# ppc: jc/jc.cmi jc/jc.cmo jc/jc.cmx
|
|
|
|
bin/jessie.opt: $(JCCMX)
|
|
- $(if $(QUIET),@echo 'Linking $@' &&) $(OCAMLOPT) $(OFLAGS) $(APRONLIB) $(APRONLIBS) $(ATPLIB) -o $@ \
|
|
+ $(if $(QUIET),@echo 'Linking $@' &&) $(OCAMLOPT) -runtime-variant _pic $(OFLAGS) $(APRONLIB) $(APRONLIBS) $(ATPLIB) -o $@ \
|
|
unix.cmxa str.cmxa zarith.cmxa graph.cmxa $^
|
|
$(STRIP) $@
|
|
|