The unpac monorepo manager self-hosting as a monorepo using unpac
Allow make promote-menhir from Windows
+14
-6
+8
Makefile.common
+8
Makefile.common
···
30
30
# $( ) suppresses warning from the alignments in the V_ macros below
31
31
$(SPACE) :=
32
32
33
+
ifeq "$(UNIX_OR_WIN32)" "win32"
34
+
DIR_SEP := \$ # There must a space following the $
35
+
CONVERT_PATH = $(subst /,$(DIR_SEP),$(strip $(1)))
36
+
else
37
+
DIR_SEP = /
38
+
CONVERT_PATH = $(strip $(1))
39
+
endif
40
+
33
41
V ?= 0
34
42
35
43
ifeq "$(V)" "0"
+6
-6
Makefile.menhir
+6
-6
Makefile.menhir
···
76
76
MENHIRFLAGS := \
77
77
$(MENHIRBASICFLAGS) \
78
78
--infer \
79
-
--ocamlc "$(CAMLC) $(OC_COMMON_COMPFLAGS) $(INCLUDES)" \
79
+
--ocamlc "$(call CONVERT_PATH, $(CAMLC)) $(OC_COMMON_COMPFLAGS) $(INCLUDES)" \
80
80
--fixed-exception \
81
81
--table \
82
82
--strategy simplified \
···
105
105
# an incompatible version of menhirLib, which would fail at
106
106
# compile-time.
107
107
108
+
boot/menhir:
109
+
@$(MKDIR) $@
110
+
108
111
.PHONY: import-menhirLib
109
-
import-menhirLib:
110
-
@ mkdir -p boot/menhir
111
-
@ cp \
112
-
$(addprefix `$(MENHIR) --suggest-menhirLib`/menhirLib.,ml mli) \
113
-
boot/menhir
112
+
import-menhirLib: | boot/menhir
113
+
@cp $(addprefix $(shell $(MENHIR) --suggest-menhirLib)/menhirLib.,ml mli) $|
114
114
115
115
116
116
## demote-menhir