Skip to content

Commit

Permalink
tentative fix after merging #124 broke some builds
Browse files Browse the repository at this point in the history
  • Loading branch information
antoinemine committed Jan 2, 2023
1 parent 96c122a commit 5393460
Showing 1 changed file with 5 additions and 3 deletions.
8 changes: 5 additions & 3 deletions project.mak
Original file line number Diff line number Diff line change
Expand Up @@ -62,6 +62,8 @@ TOINSTALL += $(CMIDOC)
OCAMLFLAGS += -bin-annot
endif

MKLIBLDFLAGS = $(foreach flag, $(LDFLAGS), -ldopt $(flag))

# build targets
###############

Expand All @@ -71,16 +73,16 @@ tests:
make -C tests test

zarith.cma: $(MLSRC:%.ml=%.cmo)
$(OCAMLMKLIB) $(DEBUG) -failsafe -o zarith $+ -ldopt "$(LIBS)"
$(OCAMLMKLIB) $(DEBUG) -failsafe -o zarith $+ $(LIBS) $(MKLIBLDFLAGS)

zarith.cmxa: $(MLSRC:%.ml=%.cmx)
$(OCAMLMKLIB) $(DEBUG) -failsafe -o zarith $+ -ldopt "$(LIBS)"
$(OCAMLMKLIB) $(DEBUG) -failsafe -o zarith $+ $(LIBS) $(MKLIBLDFLAGS)

zarith.cmxs: zarith.cmxa libzarith.$(LIBSUFFIX)
$(OCAMLOPT) -shared -o $@ -I . zarith.cmxa -linkall

libzarith.$(LIBSUFFIX): $(CSRC:%.c=%.$(OBJSUFFIX))
$(OCAMLMKLIB) $(DEBUG) -failsafe -o zarith $+ -ldopt "$(LIBS)"
$(OCAMLMKLIB) $(DEBUG) -failsafe -o zarith $+ $(LIBS) $(MKLIBLDFLAGS)

zarith_top.cma: zarith_top.cmo
$(OCAMLC) $(DEBUG) -o $@ -a $<
Expand Down

0 comments on commit 5393460

Please sign in to comment.