rpms
/
cvc4
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

catch also s390{,x} whose triplet is s390{,x}-ibm-linux-gnu

This commit is contained in:
Dan Horák 2014-03-06 11:47:21 +01:00
parent 6f20269606
commit ee6164bbba
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cvc4.spec
View File

@ -150,7 +150,7 @@ chrpath -d %{buildroot}%{_bindir}/* \
%{buildroot}%{_jnidir}/%{name}/lib%{name}*.so.*.*.*
# Help the debuginfo generator
BUILDS=builds/*-redhat-linux-gnu
BUILDS=builds/*-*-linux-gnu
for dir in decision expr main parser printer prop smt theory theory/arith \
theory/arrays theory/booleans theory/bv theory/datatypes theory/idl \
theory/quantifiers theory/rewriterules theory/strings theory/uf; do
@ -172,7 +172,7 @@ ln -s $PWD/src/smt/smt_options_template.cpp $BUILDS/src/smt
ulimit -s unlimited
# The tests require unreleased *.plf files from upstream
for mk in $(find builds/*-redhat-linux-gnu/default-proof/test -name Makefile)
for mk in $(find builds/*-*-linux-gnu/default-proof/test -name Makefile)
do
sed -e 's,^\(LFSCARGS =\).*,\1 %{SOURCE1} %{SOURCE2} %{SOURCE3},' \
-e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc %{SOURCE1} %{SOURCE2} %{SOURCE3}",' \