aboutsummaryrefslogtreecommitdiff
path: root/math/clasp
Commit message (Collapse)AuthorAgeFilesLines
* math/clingo: Update 5.4.1 -> 5.5.0Yuri Victorovich2021-04-211-0/+2
| | | | Reported by: portscout
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* math/clasp: fix build on GCC architecturesPiotr Kubaj2020-07-051-1/+1
| | | | | | | | | | | | Use C++11 compiler: CMake Error in app/CMakeLists.txt: Target "clasp" requires the language dialect "CXX11" (with compiler extensions), but CMake does not know the compile flags to use to enable it. MFH: 2020Q3 (fix build blanket) Notes: svn path=/head/; revision=541266
* - Update to 3.3.5Vsevolod Stakhov2020-06-192-5/+15
| | | | | | | | | | | | - Convert to USE_GITHUB - Add libpotassco submodule - Add license PR: 225130 Reported by: yuri Notes: svn path=/head/; revision=539611
* Change cmake default behaviour to outsource.Tobias C. Berner2018-12-251-1/+1
| | | | | | | | | | | | | | Ports that build out of source now simply can use "USES=cmake" instead of "USES=cmake:outsource". Ports that fail to build out of source now need to specify "USES=cmake:insource". I tried to only set insource where explictely needed. PR: 232038 Exp-run by: antoine Notes: svn path=/head/; revision=488341
* Mark broken on sparc64.Mark Linimon2016-09-181-0/+2
| | | | | | | Approved by: portmgr (tier-2 blanket) Notes: svn path=/head/; revision=422376
* - Fix trailing whitespace in pkg-descrs, categories [g-n]*Dmitry Marakasov2016-05-191-1/+1
| | | | | | | Approved by: portmgr blanket Notes: svn path=/head/; revision=415499
* - Update to 3.1.3Vsevolod Stakhov2015-08-173-23/+3
| | | | Notes: svn path=/head/; revision=394460
* MASTER_SITES cleanup.Mathieu Arnold2015-05-141-2/+1
| | | | | | | | | | | | | | | | | | | | | | - Replace ${MASTER_SITE_FOO} with FOO. - Merge MASTER_SITE_SUBDIR into MASTER_SITES when possible. (This means 99.9% of the time.) - Remove occurrences of MASTER_SITE_LOCAL when no subdirectory was present and no hint of what it should be was present. - Fix some logic. - And generally, make things more simple and easy to understand. While there, add magic values to the FESTIVAL, GENTOO, GIMP, GNUPG, QT and SAMBA macros. Also, replace some EXTRACT_SUFX occurences with USES=tar:*. Checked by: make fetch-urlall-list With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=386312
* Fix build on 8 and 9 where there is no std::strtoull.Vsevolod Stakhov2014-08-271-0/+20
| | | | | | | Do not bump revision since package content is unchanged. Notes: svn path=/head/; revision=366312
* - Update to 3.1.0Vsevolod Stakhov2014-08-192-3/+3
| | | | Notes: svn path=/head/; revision=365388
* - Update to 2.1.4Vsevolod Stakhov2014-01-103-15/+3
| | | | Notes: svn path=/head/; revision=339352
* - Unbreak with clang and new C++ world.Vsevolod Stakhov2013-11-012-2/+13
| | | | | | | | - Support staging. - Strip binary by using INSTALL_PROGRAM instead of INSTALL. Notes: svn path=/head/; revision=332393
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | math) Notes: svn path=/head/; revision=327746
* Add clasp - an answer set solver for (extended) normal logic programs.Vsevolod Stakhov2013-09-193-0/+36
Notes: svn path=/head/; revision=327622
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-23 17:14:50 +0000