summaryrefslogtreecommitdiff
path: root/var/spack/repos/builtin/packages/whizard/parallel_build_fix.patch
blob: 21cda94437cec3339826238149ad6b876cc3c6d8 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
diff --git a/circe2/src/Makefile.am b/circe2/src/Makefile.am
index 2b14dbec1..ad0a90fba 100644
--- a/circe2/src/Makefile.am
+++ b/circe2/src/Makefile.am
@@ -249,6 +249,9 @@ Makefile.depend_ocaml: $(CIRCE2_SRC) $(CIRCE2TOOL_SRC)
 	echo parser.cmx: parser.cmi syntax.cmi syntax.cmx >>$@
 	echo events_lexer.cmo: events_lexer.cmi >>$@
 	echo events_lexer.cmx: events_lexer.cmi >>$@
+	echo bigarray_compat.cmi: bigarray_compat.mli >>$@
+	echo bigarray_compat.cmo: bigarray_compat.cmi >>$@
+	echo bigarray_compat.cmx: bigarray_compat.cmi >>$@
 
 DISTCLEANFILES += Makefile.depend_ocaml