This repository has been archived by the owner on Jan 30, 2023. It is now read-only.
-
-
Notifications
You must be signed in to change notification settings - Fork 7
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
build/pkgs/*/spkg-check.in: Remove messages that duplicate sage-spkg …
…messages
- Loading branch information
Matthias Koeppe
committed
Apr 15, 2020
1 parent
1383a59
commit 2533a67
Showing
50 changed files
with
4 additions
and
298 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,10 +1,3 @@ | ||
cd src | ||
|
||
echo "Now building and running cliquer's test suite..." | ||
$MAKE check | ||
if [ $? -ne 0 ]; then | ||
echo >&2 "Error: The cliquer's test suite failed." | ||
exit 1 | ||
fi | ||
|
||
echo "The cliquer's test suite passed successfully." |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,7 +1,3 @@ | ||
cd src | ||
|
||
$MAKE check | ||
if [ $? -ne 0 ]; then | ||
echo >&2 "Error running coxeter testsuite" | ||
exit 1 | ||
fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,22 +1,8 @@ | ||
if [ -z "$SAGE_LOCAL" ]; then | ||
echo >&2 "SAGE_LOCAL undefined ... exiting" | ||
echo >&2 "Maybe run 'sage --sh'?" | ||
exit 1 | ||
fi | ||
|
||
cd src | ||
|
||
if ! command -v nosetests ; then | ||
echo >&2 'Testing cvxopt requires the package nose to be installed' | ||
exit 1 | ||
fi | ||
|
||
echo "Testing cvxopt..." | ||
|
||
nosetests | ||
|
||
if [ $? -ne 0 ]; then | ||
echo >&2 "Error running self tests." | ||
exit 1 | ||
fi | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,7 +1 @@ | ||
if [ -z "$SAGE_LOCAL" ]; then | ||
echo >&2 "SAGE_LOCAL undefined ... exiting" | ||
echo >&2 "Maybe run 'sage --sh'?" | ||
exit 1 | ||
fi | ||
|
||
cd src && $MAKE check-install PYTHON=sage-python23 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,25 +1,10 @@ | ||
if [ -z "$SAGE_LOCAL" ]; then | ||
echo >&2 "Error: SAGE_LOCAL undefined - exiting..." | ||
exit 1 | ||
fi | ||
|
||
# Note: Running the test suite should not involve (re)compilation, | ||
# so we don't set CFLAGS et al. here. (Their settings are | ||
# stored in the Makefiles created by 'configure' anyway.) | ||
|
||
cd src | ||
|
||
echo | ||
echo "Now running GMP-ECM's test suite..." | ||
|
||
$MAKE check | ||
# There are potential race conditions in the long check, | ||
# running it serially. | ||
$MAKE -j1 longcheck | ||
|
||
if [ $? -ne 0 ]; then | ||
echo >&2 "Error: GMP-ECM's test suite failed." | ||
exit 1 | ||
fi | ||
|
||
echo "GMP-ECM's test suite passed." |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -7,8 +7,3 @@ else | |
fi | ||
|
||
$MAKE check | ||
|
||
if [ $? -ne 0 ]; then | ||
echo "Error testing BoehmGC." | ||
exit 1 | ||
fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,7 +1,2 @@ | ||
cd src | ||
$MAKE check | ||
|
||
if [ $? -ne 0 ]; then | ||
echo >&2 "Error: gf2x failed to pass its test suite." | ||
exit 1 | ||
fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,9 +1,3 @@ | ||
# --force-lib because we dont want sage -t to compile giacpy.pyx | ||
# we only use the test suite to test giacpy.so | ||
sage -t --verbose --force-lib src/giacpy_sage.pyx | ||
|
||
if [ $? -ne 0 ]; then | ||
echo "There was a problem during the giacpy tests." | ||
exit 1 | ||
fi | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,3 @@ | ||
cd src | ||
|
||
$MAKE check | ||
if [ $? -ne 0 ]; then | ||
echo "Error testing lrcalc." | ||
exit 1 | ||
fi | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,3 @@ | ||
cd src | ||
|
||
$MAKE check | ||
if [ $? -ne 0 ]; then | ||
echo "Error in testing lrs" | ||
exit 1 | ||
fi | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,2 @@ | ||
cd src | ||
$MAKE check | ||
|
||
if [[ $? -ne 0 ]]; then | ||
echo >&2 "Error running the SharedMeataxe test suite." | ||
exit 1 | ||
fi | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,7 +1,3 @@ | ||
cd src | ||
|
||
$MAKE check | ||
if [ $? -ne 0 ]; then | ||
echo >&2 "Error checking MPC." | ||
exit 1 | ||
fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,2 @@ | ||
cd src | ||
$MAKE check | ||
|
||
if [ $? -ne 0 ]; then | ||
echo "There was a problem during the MPFI tests." | ||
exit 1 | ||
fi | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,7 +1,3 @@ | ||
cd src | ||
|
||
$MAKE check | ||
if [ $? -ne 0 ]; then | ||
echo >&2 "Error checking MPFRCX." | ||
exit 1 | ||
fi |
Oops, something went wrong.