Package `LAPKT` release and upload it on `pypi`

LAPKT-dev / LAPKT-public

LAPKT public repository

GNU General Public License v3.0

39 stars 24 forks source link

Package `LAPKT` release and upload it on `pypi` #37

Open anubhav-cs opened 4 years ago

anubhav-cs commented 4 years ago

[x] Generate distribution archive.
[ ] Manage multi platform packaging.
[x] Manage external requirements, which are not fulfilled by pypi, including boost and clingo.
- [x] Either include boost shared libraries in the LAPKT python package or force-use Boost static lib during compilation.
- [x] Include clingo binaries in the python package, and write a small wrapper for calling clingo from a python script.

haz commented 4 years ago

Please let me know when this is set for a smooth install, and we'll crank out a manifest for it in planutils.

anubhav-cs commented 4 years ago

commit 01e9808 adds boost compilation from source. Corresponding boost libraries are installed in lapkt package.

anubhav-cs commented 4 years ago

Commit 28abe56 adds a clingo/gringo python wrapper which calls the native gringo executable stored in the lapkt package. The wrapper is configured as a script in setup.cfg and it is installed along with the lapkt package. Also, the necessary native executables from clingo v5.4.0 are automatically downloaded, extracted and packaged, using Cmake, along with other lapkt libraries.