File tree 1 file changed +10
-5
lines changed
1 file changed +10
-5
lines changed Original file line number Diff line number Diff line change @@ -95,11 +95,16 @@ duneconf/%.ws:
95
95
$(ocamldir)/duneconf/dirs-to-ignore.inc:
96
96
echo "(data_only_dirs yacc $(ocaml_subdirs_to_ignore))" > $@
97
97
98
- _build/_bootinstall: Makefile.config duneconf/boot.ws duneconf/runtime_stdlib.ws duneconf/main.ws \
99
- $(ocamldir)/duneconf/dirs-to-ignore.inc \
100
- $(ocamldir)/duneconf/jst-extra.inc \
101
- dune-project
102
-
98
+ # Targets that should be prerequisites to any target that runs Dune
99
+ dune_config_targets = \
100
+ duneconf/boot.ws \
101
+ duneconf/runtime_stdlib.ws \
102
+ duneconf/main.ws \
103
+ $(ocamldir)/duneconf/dirs-to-ignore.inc \
104
+ $(ocamldir)/duneconf/jst-extra.inc \
105
+ dune-project
106
+
107
+ _build/_bootinstall: Makefile.config $(dune_config_targets)
103
108
echo -n '$(NATDYNLINKOPTS)' > $(ocamldir)/otherlibs/dynlink/natdynlinkops
104
109
105
110
# flags.sexp
You can’t perform that action at this time.
0 commit comments