mirror of
https://git.freebsd.org/ports.git
synced 2025-04-30 10:36:38 -04:00
5ac3886b76
- attempt to patch the build for armv7 - realise that it still doesn't build and mark as BROKEN_armv[67] Changelog: https://github.com/ocaml/opam/blob/2.1/CHANGES PR: 271674
11 lines
692 B
Text
11 lines
692 B
Text
--- Makefile.orig 2023-05-27 12:33:21 UTC
|
|
+++ Makefile
|
|
@@ -258,7 +258,7 @@
|
|
|
|
.PHONY: compiler cold
|
|
compiler:
|
|
- env MAKE=$(MAKE) BOOTSTRAP_EXTRA_OPTS= BOOTSTRAP_TARGETS=world.opt BOOTSTRAP_ROOT=.. BOOTSTRAP_DIR=bootstrap ./shell/bootstrap-ocaml.sh $(OCAML_PORT)
|
|
+ env CC="$(CC)" MAKE=$(MAKE) BOOTSTRAP_EXTRA_OPTS= BOOTSTRAP_TARGETS=world.opt BOOTSTRAP_ROOT=.. BOOTSTRAP_DIR=bootstrap ./shell/bootstrap-ocaml.sh $(OCAML_PORT)
|
|
|
|
src_ext/secondary/ocaml/bin/ocaml:
|
|
env MAKE=$(MAKE) BOOTSTRAP_EXTRA_OPTS="--disable-ocamldoc --disable-debug-runtime --disable-debugger" BOOTSTRAP_TARGETS="world opt" BOOTSTRAP_ROOT=../.. BOOTSTRAP_DIR=src_ext/secondary ./shell/bootstrap-ocaml.sh $(OCAML_PORT)
|