|
@@ -73,9 +73,9 @@ all: haxe tools
|
|
haxe:
|
|
haxe:
|
|
$(DUNE_COMMAND) build --workspace dune-workspace.dev src-prebuild/prebuild.exe
|
|
$(DUNE_COMMAND) build --workspace dune-workspace.dev src-prebuild/prebuild.exe
|
|
_build/default/src-prebuild/prebuild.exe libparams $(LIB_PARAMS) > lib.sexp
|
|
_build/default/src-prebuild/prebuild.exe libparams $(LIB_PARAMS) > lib.sexp
|
|
- _build/default/src-prebuild/prebuild.exe version $(ADD_REVISION) $(BRANCH) $(COMMIT_SHA) > src/compiler/version.ml
|
|
|
|
|
|
+ _build/default/src-prebuild/prebuild.exe version "$(ADD_REVISION)" "$(BRANCH)" "$(COMMIT_SHA)" > src/compiler/version.ml
|
|
$(DUNE_COMMAND) build --workspace dune-workspace.dev src/haxe.exe
|
|
$(DUNE_COMMAND) build --workspace dune-workspace.dev src/haxe.exe
|
|
- cp -f _build/default/src/haxe.exe ./${HAXE_OUTPUT}
|
|
|
|
|
|
+ cp -f _build/default/src/haxe.exe ./"$(HAXE_OUTPUT)"
|
|
|
|
|
|
plugin: haxe
|
|
plugin: haxe
|
|
$(DUNE_COMMAND) build --workspace dune-workspace.dev plugins/$(PLUGIN)/$(PLUGIN).cmxs
|
|
$(DUNE_COMMAND) build --workspace dune-workspace.dev plugins/$(PLUGIN)/$(PLUGIN).cmxs
|