-
Notifications
You must be signed in to change notification settings - Fork 4
/
setup.py
40 lines (34 loc) · 1.26 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
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 = '5.0.1',
name = 'clingcon',
description = 'CFFI-based bindings to the clingcon solver.',
long_description = dedent('''\
This package allows for adding the clingcon propagator as a
theory to clingcon.
It can also be used as a clingcon solver running:
python -m clingcon CLINGCON_ARGUMENTS
'''),
long_description_content_type='text/markdown',
author = 'Roland Kaminski',
author_email = 'kaminski@cs.uni-potsdam.de',
license = 'MIT',
url = 'https://github.com/potassco/clingcon',
install_requires=[ 'cffi', 'clingo' ],
cmake_args=[ '-DCLINGCON_MANAGE_RPATH=OFF',
'-DPYCLINGCON_ENABLE=pip',
'-DPYCLINGCON_INSTALL_DIR=libpyclingcon',
f'-DPYCLINGCON_PIP_PATH={clingopath}' ],
packages=[ 'clingcon' ],
package_data={ 'clingcon': [ 'py.typed', 'import__clingcon.lib', 'clingcon.h' ] },
package_dir={ '': 'libpyclingcon' },
python_requires=">=3.6"
)