krr / IDP / issues / #794 - Releasing: dynamic linking for linux??? — Bitbucket

Issue #794 closed

Bart Bogaerts created an issue 2014-08-07

We moeten toch overwegen om dynamisch gelinkte dingen te verspreiden. XSB wordt ondertussen zo belangrijk dat releasen zonder geen goed idee is...

Comments (6)

Bart Bogaerts reporter
- changed status to resolved
improved splitting of definiitons when xsb is NOT available.

Did this by adding guards to the bodies of the rule that ensure small grounding. Fixes ~~#794~~

→ <<cset 7be39c8920b2>>
- 2014-08-07T12:20:50+00:00
Joachim Jansen
improved splitting of definiitons when xsb is NOT available.

Did this by adding guards to the bodies of the rule that ensure small grounding. Fixes ~~#794~~

→ <<cset 7be39c8920b2>>
- 2014-08-27T14:08:34+00:00
Bart Bogaerts reporter
- changed status to open
Dit lijkt een vergissing te zijn!
- 2014-08-27T14:39:45+00:00
Bart Bogaerts reporter
- changed status to resolved
improved splitting of definiitons when xsb is NOT available.

Did this by adding guards to the bodies of the rule that ensure small grounding. Fixes ~~#794~~

→ <<cset c0a2e18ce2e1>>
- 2014-08-28T10:06:29+00:00
Joachim Jansen
- changed status to open
Opnieuw de vergissing
- 2014-09-02T07:56:35+00:00
Ingmar Dasseville
- changed status to closed
- 2014-11-19T14:50:39+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: closed

Component: –

Version: –

Votes: 0

Watchers: 3

Jira: the preferred issue tracker for Bitbucket. Join the team!