Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • L loki
  • Project information
    • Project information
    • Activity
    • Labels
    • Planning hierarchy
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 45
    • Issues 45
    • List
    • Boards
    • Service Desk
    • Milestones
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pro
  • loki
  • Issues
  • #3

Closed
Open
Created Jan 13, 2017 by Krzysztof Kutt@kkuttMaintainer

Standalone SWI-Prolog

Prepare static version of SWI-Prolog that should be distributed as a standalone library with the Loki. It should be copy-pasted to the selected directory and that's all (nothing is needed to install, it stays in the directory that is available by the simple server user, not the administrator).

Main idea: compile SWI-Prologa sources with the old GLIBC version + statically link libraries + remove obsolete swi-prolog modules to make it lightweight -> as a result we have 32bit and 64bit executables that we can redistribute with Loki

Update 14.09.2017: static swipl was created. Now Loki should be adjusted to use it.

Edited Sep 14, 2017 by Krzysztof Kutt
Assignee
Assign to
Time tracking