forked from bme-db-lab/Functional-Dependency-Calculator
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathplunit_install.txt
36 lines (29 loc) · 830 Bytes
/
plunit_install.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
# install the necessary packages
sudo apt-get install autoconf
sudo apt-get install make
# make the plunit module
git clone git://www.swi-prolog.org/home/pl/git/pl.git
cd pl/
git submodule status
git submodule update --init packages/plunit/
cd packages/plunit/
autoconf
./configure
sudo make install
# if `swipl -v` returns a version lower than 6 (e.g. "SWI-Prolog version 5.10.1 for amd64"), you must update SWI-Prolog
# SWI-Prolog update on Debian
# to /etc/apt/preferences
Package: swi-prolog
Pin: release a=experimental
Pin-Priority: 800
Package: swi-prolog-nox
Pin: release a=experimental
Pin-Priority: 800
Package: swi-prolog-x
Pin: release a=experimental
Pin-Priority: 800
# to /etc/apt/sources.list
deb http://ftp.debian.org/debian experimental main
# update the packages
sudo apt-get update
sudo apt-get upgrade