Quelle install.sh Sprache: Shell

#!/bin/bash

set -e # abort upon error

if [ "$#" -ge 1 ]; then
    gap_path=$1
    shift
else
    gap_path=../..
fi

current_dir=$(pwd)
cd $gap_path

if [ -f "sysinfo.gap" ]; then
    echo "Ok, thanks I found the gap installation."
else
    echo "ERROR: It seems that the given location for gap installation is not correct."
    echo "The given location is $(pwd)."
    exit 1
fi

cd $current_dir

echo "## Setting variables"
echo "I am now in $(pwd)"

cddlib_VERSION=0.94m
#cddlib_SHA256=?
cddlib_BASE=cddlib-${cddlib_VERSION}
cddlib_TAR=${cddlib_BASE}.tar.gz
cddlib_URL=https://github.com/cddlib/cddlib/releases/download/${cddlib_VERSION}/${cddlib_TAR}

echo
echo "##"
echo "## downloading ${cddlib_TAR}"
echo "##"

rm -rf cddlib*
rm -rf current_cddlib
etc/download.sh ${cddlib_URL}
tar xvf ${cddlib_TAR}
ln -sf $current_dir/${cddlib_BASE} $current_dir/current_cddlib
rm -rf ${cddlib_TAR}

echo "##"
echo "## compiling cddlib ${cddlib_VERSION}"
echo "##"

cd ${cddlib_BASE}
mkdir build
./bootstrap
./configure --prefix=$(pwd)/build
make
make install

echo "##"
echo "## compiling cdd interface"
echo "##"

cd $current_dir
./autogen.sh
./configure --with-gaproot=${gap_path} --with-cddlib=$(pwd)/current_cddlib/build
make

quality97%

¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.