-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsetup.py
41 lines (35 loc) · 1.33 KB
/
setup.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
import sys
import site
from os.path import dirname, abspath
from textwrap import dedent
from skbuild import setup
import clingo
if not site.ENABLE_USER_SITE and "--user" in sys.argv[1:]:
site.ENABLE_USER_SITE = True
clingopath = abspath(dirname(clingo.__file__))
setup(
version = '1.0.0',
name = 'clingo-lpx',
description = 'CFFI-based bindings to the clingo-lpx solver.',
long_description = dedent('''\
This package allows for adding the clingo-lpx propagator as a
theory to clingo.
It can also be used as a clingo-lpx solver running:
python -m clingolpx CLINGOLPX_ARGUMENTS
'''),
long_description_content_type='text/markdown',
author = 'Roland Kaminski',
author_email = '[email protected]',
license = 'MIT',
url = 'https://github.com/potassco/clingo-lpx',
install_requires=[ 'cffi', 'clingo' ],
cmake_args=[ '-DCLINGOLPX_MANAGE_RPATH=OFF',
'-DCLINGOLPX_MATH_LIBRARY="imath"',
'-DPYCLINGOLPX_ENABLE=pip',
'-DPYCLINGOLPX_INSTALL_DIR=libpyclingo-lpx',
f'-DPYCLINGOLPX_PIP_PATH={clingopath}' ],
packages=[ 'clingolpx' ],
package_data={ 'clingolpx': [ 'py.typed', 'import__clingo-lpx.lib', 'clingo-lpx.h' ] },
package_dir={ '': 'libpyclingo-lpx' },
python_requires=">=3.6"
)