summaryrefslogblamecommitdiff
path: root/var/spack/repos/builtin/packages/whizard/parallel_build_fix_2.8.patch
blob: 44ebc0ee10d3be270c43c1d8d4b8ce99d7dc8529 (plain) (tree)
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 9c9a3232..22de723b 100644
--- a/circe2/src/Makefile.am
+++ b/circe2/src/Makefile.am
@@ -237,5 +237,8 @@ Makefile.depend_ocaml: $(CIRCE2_SRC) $(CIRCE2TOOL_SRC)
 	echo lexer.cmx: lexer.cmi parser.cmx >>$@
 	echo parser.cmo: parser.cmi syntax.cmi >>$@
 	echo parser.cmx: parser.cmi syntax.cmi syntax.cmx >>$@
+	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