Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/GAP/pkg/cddinterface/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 24.5.2025 mit Größe 1 kB

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.14 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.