freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
344,980 Commits 2 Branches 0 Tags
c19cf506c620e00a18dc225439b7fe3d050a5daa
Commit Graph

4 Commits

Author SHA1 Message Date
Vsevolod Stakhov
e47d455f34 - Update to 2.1.4 2014-01-10 13:33:13 +00:00
Vsevolod Stakhov
5887dd9a4d - Unbreak with clang and new C++ world. 
- Support staging.
- Strip binary by using INSTALL_PROGRAM instead of INSTALL.
 2013-11-01 15:53:37 +00:00
Baptiste Daroussin
ce5e457020 Add NO_STAGE all over the place in preparation for the staging support (cat: math) 2013-09-20 20:55:04 +00:00
Vsevolod Stakhov
fc0535e09b Add clasp - an answer set solver for (extended) normal logic programs. 2013-09-19 14:14:54 +00:00