Platform | Installation Guide | Additional Software Needed |
---|---|---|
Fedora | ||
Fedora 31 | Fedora 31 Installation Guide | Installation Script |
Fedora 20 | Fedora 20 Installation Guide | Installation Script |
SuSE | ||
SuSE 15.0 | SuSE 15.0 Installation Guide | Installation Script |
SuSE 42.3 SuSE 42.2 SuSE 42.1 |
SuSE 42.1 Installation Guide | Installation Script |
SuSE 12.2 | SuSE 12.2 Installation Guide | Installation Script |
SuSE 12.1 | SuSE 12.1 Installation Guide | Installation Script |
SuSE 11.3 | SuSE 11.3 Installation Guide | |
Ubuntu 64 Bit (Binary Installation) | ||
Ubuntu 16.04, 18.04, 20.04, 21.10 |
Ubuntu Installation Guide using apt-get | |
Ubuntu (Full Installation) | ||
Ubuntu 22.04 | Ubuntu 22.04 Installation Guide | Installation Script |
Ubuntu 21.10 | Ubuntu 21.10 Installation Guide | Installation Script |
Ubuntu 20.10 Ubuntu 20.04 |
Ubuntu 20.04 Installation Guide | Installation Script |
Ubuntu 18.04 Ubuntu 16.04 |
Ubuntu 16.04 Installation Guide | Installation Script |
System | Installation Guide | SDK Download | Size | Known to Work (with recent Secondo version) |
Last Change |
---|---|---|---|---|---|
macOS Monterey |
macOS Monterey Installation Guide (Intel)
macOS Monterey Installation Guide (M1) |
SDK OS X MONTEREY | 21 MB | 12 Monterey | 2021-11-01 |
macOS Big Sur |
macOS Big Sur Installation Guide (Intel)
macOS Big Sur Installation Guide (M1) |
SDK OS X BIGSUR | 21 MB | 11 Big Sur | 2021-07-21 |
Mac OS X Catalina | Mac OS X Catalina Installation Guide | SDK OS X CATALINA | 103 MB | 10.15 Catalina | 2020-06-02 |
Mac OS X Mojave | Mac OS X Mojave Installation Guide | SDK OS X MOJAVE | 99 MB | 10.14 Mojave | 2019-07-16 |
Mac OS X MAVERICKS Mac OS X YOSEMITE |
Mac OS X El Capitan/Mavericks/Yosemite Guide | SDK_OSX_EL_CAPITAN | 91 MB | 10.9 Mavericks 10.10 Yosemite 10.11 El Capitan |
2018-09-19 |
Mac OS X Lion | Mac-OSX Lion Guide | SDK_OSX_Lion | 52 MB | 10.7 Lion | 2011-12-16 |
Package | edition | Version | Project Home Page | |
---|---|---|---|---|
flex | dev | >2.6.3 | https://github.com/westes/flex | |
bison | dev | >3.0 | http://www.gnu.org/software/bison/bison.html | |
gcc /g++ | >7.4 | http://gcc.gnu.org | ||
berkeley DB | dev, c++ Interface | >4.3.29 | http://www.oracle.com/technetwork/database/database-technologies/berkeleydb/downloads/index.html | |
libjpeg | dev | 6.2 | http://www.ijg.org/ | |
open jdk | dev | >7 | http://openjdk.java.net/ | |
readline | dev | >5.2 | http://tiswww.case.edu/php/chet/readline/rltop.html | |
recode | dev | >3.6 | ||
gmp | dev | |||
ncurses | dev | |||
xml2 | dev | |||
boost | dev | |||
swi-prolog | dev | |||
jpl | dev | |||
bash | ||||
make | ||||
gsl | dev |
Variable | Meaning | Example Value(s) |
---|---|---|
SECONDO_BUILD_DIR | Secondo's home directory | /home/user/secondo |
SECONDO_PLATFORM | Operation system | linux, linux64, max_osx |
BDB_DIR | Home of the berkeley db | /home/user/BDB |
BERKELEY_DB_DIR | Home of the berkeley db | /home/user/BDB |
BERKELEY_DB_LIB | Name of the berkeley db lib | db_cxx |
BDB_INCLUDE_DIR | Include dir of berkeley db | /home/user/BDB/include |
BDB_LIB_DIR | directory of the berkeley db lib | /home/user/BDB/lib64 |
J2SDK_ROOT | home of the jdk | /usr/lib64/jvm/java-1.8.0-openjdk-1.8.0/ |
JAVAVER | java version | 1.8 |
SWI_HOME_DIR | home of swi prolog | /usr/lib64/swipl-7.2.2 |
PL_LIB_DIR | home of swi prolog lib | /usr/lib64/swipl-7.2.2/lib/x86_64-linux/ |
PL_DLL_DIR | home of swi prolog lib | /usr/lib64/swipl-7.2.2/lib/x86_64-linux/ |
PL_LIB | name of prolog lib | swipl |
PL_INCLUDE_DIR | prolog's include dir | /usr/lib64/swipl-7.2.2/include |
PL_VERSION | prolog's version as a single number | 72020 |
JPL_DLL | path to JPL library | /usr/lib64/swipl-7.2.2/lib/x86_64-linux//libjpl.so |
JPL_JAR | path to JPL java file | /usr/lib64/swipl-7.2.2/lib/jpl.jar |
SECONDO_CONFIG | path to Secondo's config file | /home/user/secondo/bin/SecondoConfig.ini |
PD_HEADER | path to PD header file | /home/user/secondo/Tools/pd/pd_header_listing |
export PATH=.:$BDB_DIR/bin:$PATH:$SECONDO_BUILD_DIR/Tools/pd export LD_LIBRARY_PATH=$BDB_LIB_DIR:$PL_LIB_DIR