bug corrected

parent dd431dfc
......@@ -6,24 +6,28 @@ trap '
kill -s INT "$$"
' INT
if [ "$TINYGB_DEBUG" ]
TINYGB_PATH="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
cd $TINYGB_PATH
source param.sh
if [ "$TINYGB_DEBUG" -eq 1 ] ;
then
scons debug=1 -q -s
else
scons -q -s
fi
if [ "$?" -ne "0" ]
if [ "$?" -ne "0" ] ;
then
echo -n "Compiling... "
if [ "$TINYGB_DEBUG" ]
if [ "$TINYGB_DEBUG" -eq 1 ] ;
then
scons debug=1 -s
else
scons -s
fi
rc=$?
if [ "$rc" -ne 0 ]
if [ "$rc" -ne 0 ] ;
then
echo "error."
exit $rc
......
......@@ -9,14 +9,13 @@ trap '
# gets script directory
TINYGB_PATH="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
cd $TINYGB_PATH
source param.sh
if [ "$TINYGB_DEBUG" -eq 1 ] ;
then
scons debug=1 >/dev/null 2>&1
scons debug=1 >/dev/null 2>&1
else
scons debug=0 >/dev/null 2>&1
scons debug=0 >/dev/null 2>&1
fi
# LD_LIBRARY_PATH should be replaced to avoid using a previously installed
......
File mode changed from 100644 to 100755
......@@ -40,12 +40,12 @@ void initF4(std::string wdir, std::istream &in, std::ostream &out) {
MONOMIAL_ORDERING = "grevlex";
WORKDIR = wdir;
try {
save_glob_params(WORKDIR + "global_parameters.txt");
save_glob_params(WORKDIR + "/global_parameters.txt");
} catch (const std::exception& e) {
std::cout << "f4launcher: " << e.what() << std::endl;
}
std::system(("mkdir -p " + WORKDIR + "matrices").c_str());
std::system(("mkdir -p " + WORKDIR + "/matrices").c_str());
GivaroWrapper::k = GivaroWrapper::ring_t(Givaro::Integer(FIELD_CARD));
std::cout << NB_VARS << std::endl;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment