- disable parallel build

[packages/alt-ergo.git] / alt-ergo.spec

diff --git a/alt-ergo.spec b/alt-ergo.spec
index 2afc7a2a3afb8ad453e2cd3feeb16bf3b82fd418..d1683032d6ed7bafdee7603b8ece70d60d394670 100644 (file)
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -53,8 +53,8 @@ sed -i -e 's/let print_flag = true/let print_flag = false/;' pruning.ml
        --libdir=%{_datadir} \
        --mandir=%{_mandir}
 
-%{__make} OCAMLBEST=opt OCAMLOPT=ocamlopt.opt
-%{__make} OCAMLBEST=opt OCAMLOPT=ocamlopt.opt gui
+%{__make} -j1 OCAMLBEST=opt OCAMLOPT=ocamlopt.opt
+%{__make} -j1 OCAMLBEST=opt OCAMLOPT=ocamlopt.opt gui
 
 iconv -f ISO-8859-1 -t UTF-8 -o CeCILL-C.utf8 CeCILL-C
 touch -r CeCILL-C CeCILL-C.utf8