notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

Why was the website so slow for so long?

The cause of the slowdown was a change to the ZFS dataset. In conjunction with the database server, very little caching was being done. This combination resulted in increased disk I/O as the system churned through the database. Details in the blog post which outlines the various things which changed. Many graphs.

Port details
clingo Grounder and solver for logic programs
5.4.0 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port 5.4.0Version of this port present on the latest quarterly branch.
Maintainer: search for ports maintained by this maintainer
Port Added: 2019-11-16 03:56:50
Last Update: 2019-11-16 16:04:26
SVN Revision: 517757
License: MIT
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (18 items)
  1. @ldconfig
  2. /usr/local/share/licenses/clingo-5.4.0/
  3. /usr/local/share/licenses/clingo-5.4.0/LICENSE
  4. /usr/local/share/licenses/clingo-5.4.0/MIT
  5. bin/clasp
  6. bin/clingo
  7. bin/gringo
  8. bin/lpconvert
  9. bin/reify
  10. include/clingo.h
  11. include/clingo.hh
  12. lib/cmake/Clingo/ClingoConfig.cmake
  13. lib/cmake/Clingo/ClingoConfigVersion.cmake
  14. lib/cmake/Clingo/ClingoTargets-release.cmake
  15. lib/cmake/Clingo/ClingoTargets.cmake
  16. lib/
  17. lib/
  18. lib/
Collapse this list.
Dependency lines:
  • clingo>0:math/clingo
To install the port: cd /usr/ports/math/clingo/ && make install clean
To add the package: pkg install clingo
PKGNAME: clingo
Flavors: there is no flavor information for this port.

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. re2c : devel/re2c
  2. cmake : devel/cmake
  3. ninja : devel/ninja
There are no ports dependent upon this port

Configuration Options


Master Sites:

Number of commits found: 2

Commit History - (may be incomplete: see SVNWeb link above for full details)
16 Nov 2019 16:04:26
Original commit files touched by this commit  5.4.0
linimon search for other commits by this committer
Fix build on GCC-based systems:

  CMake Error in app/clingo/CMakeLists.txt:
  Target "clingo" requires the language dialect "CXX14" , but CMake does not
  know the compile flags to use to enable it.

Approved by:	portmgr (tier-2 blanket)
16 Nov 2019 03:56:38
Original commit files touched by this commit  5.4.0
yuri search for other commits by this committer
New port: math/clingo: Grounder and solver for logic programs

Number of commits found: 2

User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
How big is it?
The latest upgrade!

Enter Keywords:

Latest Vulnerabilities
dovecotFeb 13
gitlab-ceFeb 13
grub2-bhyveFeb 12
libexifFeb 11
linux-flashplayerFeb 11
nginxFeb 09
nginx-develFeb 09
ksh93Feb 07
ksh93-develFeb 07
clamavFeb 05
py-django111Feb 04
py-django22Feb 04
py-django30Feb 04
libsshFeb 02
mariadb-connector-cFeb 02

14 vulnerabilities affecting 178 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2020-02-14 01:16:43

Deleted ports
Sanity Test Failures

NEW Graphs (Javascript)

Calculated hourly:
Port count 38478
Broken 681
Deprecated 243
Ignore 950
Forbidden 3
Restricted 150
Vulnerable 23
Expired 5
Set to expire 215
Interactive 0
new 24 hours 3
new 48 hours3
new 7 days27
new fortnight87
new month334

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2020 Dan Langille. All rights reserved.