Skip to content

Commit

Permalink
Fix recipes
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 authored and kit-ty-kate committed May 13, 2024
1 parent 6b4eaaf commit e2612d3
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 6 deletions.
4 changes: 2 additions & 2 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ DUNE_PROMOTE_ARG =
DUNE_PROMOTE_ARG += --promote-install-files

ifeq ($(DUNE),)
DUNE_EXE = src_ext/dune-local/dune.exe
DUNE_EXE = src_ext/dune-local/_boot/dune.exe
ifeq ($(shell command -v cygpath 2>/dev/null),)
DUNE := $(DUNE_EXE)
else
Expand Down Expand Up @@ -44,7 +44,7 @@ else
DUNE_PROFILE_ARG = --profile=$(DUNE_PROFILE)
endif

src_ext/dune-local/dune.exe: src_ext/dune-local.stamp $(DUNE_SECONDARY)
src_ext/dune-local/_boot/dune.exe: src_ext/dune-local.stamp $(DUNE_SECONDARY)
ifeq ($(DUNE_SECONDARY),)
cd src_ext/dune-local && ocaml boot/bootstrap.ml
else
Expand Down
6 changes: 3 additions & 3 deletions src_ext/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -95,7 +95,7 @@ reset-lib-pkg:
@rm -rf ../bootstrap/ocaml/lib/ocaml/site-lib ../bootstrap/ocaml/etc *.pkgbuild

ifeq ($(DUNE),)
DUNE_DEP=dune-local/_boot/install/default/bin/dune$(EXE)
DUNE_DEP=dune-local/_boot/dune$(EXE)
DUNE_CLONE=dune-local.stamp
ifeq ($(shell command -v cygpath 2>/dev/null),)
DUNE:=$(DUNE_DEP)
Expand All @@ -107,8 +107,8 @@ DUNE_DEP=
DUNE_CLONE=
endif

dune-local/_boot/install/default/bin/dune$(EXE): $(DUNE_CLONE)
cd dune-local && ocaml boot/bootstrap.ml && ./boot.exe --release
dune-local/_boot/dune$(EXE): $(DUNE_CLONE)
cd dune-local && ocaml boot/bootstrap.ml

build-pkg: clone-pkg $(PKG_EXTS:=.pkgbuild)
@
Expand Down
2 changes: 1 addition & 1 deletion src_ext/Makefile.packages
Original file line number Diff line number Diff line change
Expand Up @@ -108,7 +108,7 @@ dose3-pkg-build:

dune-local-pkg-build:
ocaml boot/bootstrap.ml
cp dune.exe $(OCAMLBIN)/dune$(EXT_EXE)
cp _boot/dune.exe $(OCAMLBIN)/dune$(EXT_EXE)

mccs-pkg-build:
dune build @install -p mccs
Expand Down

0 comments on commit e2612d3

Please sign in to comment.