Skip to content

Commit

Permalink
Further fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
mshinwell committed Jul 18, 2024
1 parent 641870e commit 86bfde5
Show file tree
Hide file tree
Showing 2 changed files with 16 additions and 14 deletions.
27 changes: 14 additions & 13 deletions ocaml/stdlib/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -34,26 +34,13 @@ include $(ROOTDIR)/Makefile.common
# ../runtime/ocamlrun.
USE_BOOT_OCAMLC ?=

<<<<<<< HEAD
COMPILER=$(ROOTDIR)/ocamlc$(EXE)
CAMLC=$(OCAMLRUN) $(COMPILER)
COMPFLAGS=-strict-sequence -absname -w +a-4-9-41-42-44-45-48-66-70 \
-g -warn-error +A -bin-annot -nostdlib -principal \
-nopervasives -no-alias-deps
||||||| 121bedcfd2
COMPILER=$(ROOTDIR)/ocamlc$(EXE)
CAMLC=$(OCAMLRUN) $(COMPILER)
COMPFLAGS=-strict-sequence -absname -w +a-4-9-41-42-44-45-48 \
-g -warn-error +A -bin-annot -nostdlib -principal
=======
ifeq "$(USE_BOOT_OCAMLC)" ""
CAMLC = $(OCAMLRUN) $(ROOTDIR)/ocamlc$(EXE)
else
CAMLC = $(BOOT_OCAMLC)
endif
COMPFLAGS = -strict-sequence -absname -w +a-4-9-41-42-44-45-48 \
-g -warn-error +A -bin-annot -nostdlib -principal
>>>>>>> 5.2.0
ifeq "$(FLAMBDA)" "true"
OPTCOMPFLAGS += -O3
endif
Expand Down Expand Up @@ -206,3 +193,17 @@ depend:
-e 's/^(${STDLIB_NAMESPACE_MODULES})(\.[^i]*)(i?) :/\1\2\3 : \1.ml\3/' \
-e 's#(^| )(${STDLIB_NAMESPACE_MODULES})[.]#\1stdlib__\u\2.#' \
> .$@

# The following are for compatibility with runtime4

camlheader:
touch camlheader

camlheaderd:
touch camlheaderd

camlheaderi:
touch camlheaderi

camlheader_ur:
touch camlheader_ur
3 changes: 2 additions & 1 deletion ocaml/stdlib/dune
Original file line number Diff line number Diff line change
Expand Up @@ -47,13 +47,14 @@
../Makefile.config
../%{env:RUNTIME_DIR=runtime-dir-env-var-not-set}/sak)
(action
(run make -s COMPUTE_DEPS=false %{targets})))
(run make COMPUTE_DEPS=false %{targets})))

(copy_files ../Makefile.config)

(install
(files
Makefile.config
; CR mshinwell all-runtime5: delete all camlheader* stuff
camlheader
camlheaderd
camlheaderi
Expand Down

0 comments on commit 86bfde5

Please sign in to comment.