tell people to use clpqr
This commit is contained in:
parent
503d97af90
commit
4db453ba0b
1
GIT
1
GIT
@ -14,5 +14,6 @@ cd yap
|
|||||||
git branch --track devel origin/devel
|
git branch --track devel origin/devel
|
||||||
git checkout devel
|
git checkout devel
|
||||||
git submodule add git://prolog.cs.vu.nl/home/pl/git/chr.git packages/chr
|
git submodule add git://prolog.cs.vu.nl/home/pl/git/chr.git packages/chr
|
||||||
|
git submodule add git://prolog.cs.vu.nl/home/pl/git/clpqr.git packages/clpqr
|
||||||
./configure
|
./configure
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user