aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat/ParseUtils.h
blob: 04911c70a5173b4e2e8e226d23fa3b768ed8e8bc (plain)
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
from distutils.core import setup, Extension
import os

XEN_ROOT = "../.."

extra_compile_args  = [ "-fno-strict-aliasing", "-Werror" ]

include_dirs = [ XEN_ROOT + "/tools/libxc",
                 XEN_ROOT + "/tools/xenstore",
                 XEN_ROOT + "/tools/include",
                 ]

library_dirs = [ XEN_ROOT + "/tools/libxc",
                 XEN_ROOT + "/tools/xenstore",
                 ]

libraries = [ "xenctrl", "xenguest", "xenstore" ]

xc = Extension("xc",
               extra_compile_args = extra_compile_args,
               include_dirs       = include_dirs + [ "xen/lowlevel/xc" ],
               library_dirs       = library_dirs,
               libraries          = libraries,
               sources            = [ "xen/lowlevel/xc/xc.c" ])

xs = Extension("xs",
               extra_compile_args = extra_compile_args,
               include_dirs       = include_dirs + [ "xen/lowlevel/xs" ],
               library_dirs       = library_dirs,
               libraries          = libraries,
               sources            = [ "xen/lowlevel/xs/xs.c" ])

scf = Extension("scf",
               extra_compile_args = extra_compile_args,
               include_dirs       = include_dirs + [ "xen/lowlevel/scf" ],
               library_dirs       = library_dirs,
               libraries          = libraries,
               sources            = [ "xen/lowlevel/scf/scf.c" ])
             
process = Extension("process",
               extra_compile_args = extra_compile_args,
               include_dirs       = include_dirs + [ "xen/lowlevel/process" ],
               library_dirs       = library_dirs,
               libraries          = libraries + [ "contract" ],
               sources            = [ "xen/lowlevel/process/process.c" ])

acm = Extension("acm",
               extra_compile_args = extra_compile_args,
               include_dirs       = include_dirs + [ "xen/lowlevel/acm" ],
               library_dirs       = library_dirs,
               libraries          = libraries,
               sources            = [ "xen/lowlevel/acm/acm.c" ])

flask = Extension("flask",
               extra_compile_args = extra_compile_args,
               include_dirs       = include_dirs + [ "xen/lowlevel/flask" ] + 
                                        [ "../flask/libflask/include" ],
               library_dirs       = library_dirs + [ "../flask/libflask" ],
               libraries          = libraries + [ "flask" ],
               sources            = [ "xen/lowlevel/flask/flask.c" ])

ptsname = Extension("ptsname",
               extra_compile_args = extra_compile_args,
               include_dirs       = include_dirs + [ "ptsname" ],
               library_dirs       = library_dirs,
               libraries          = libraries,
               sources            = [ "ptsname/ptsname.c" ])

checkpoint = Extension("checkpoint",
                       extra_compile_args = extra_compile_args,
                       include_dirs       = include_dirs,
                       library_dirs       = library_dirs,
                       libraries          = libraries + [ "rt" ],
                       sources            = [ "xen/lowlevel/checkpoint/checkpoint.c",
                                              "xen/lowlevel/checkpoint/libcheckpoint.c"])

netlink = Extension("netlink",
                    extra_compile_args = extra_compile_args,
                    include_dirs       = include_dirs,
                    library_dirs       = library_dirs,
                    libraries          = libraries,
                    sources            = [ "xen/lowlevel/netlink/netlink.c",
                                           "xen/lowlevel/netlink/libnetlink.c"])

modules = [ xc, xs, ptsname, acm, flask ]
plat = os.uname()[0]
if plat == 'SunOS':
    modules.extend([ scf, process ])
if plat == 'Linux':
    modules.extend([ checkpoint, netlink ])

setup(name            = 'xen',
      version         = '3.0',
      description     = 'Xen',
      packages        = ['xen',
                         'xen.lowlevel',
                         'xen.util',
                         'xen.util.xsm',
                         'xen.util.xsm.dummy',
                         'xen.util.xsm.flask',
                         'xen.util.xsm.acm',
                  
'xen.xm', 'xen.web', 'xen.sv', 'xen.xsview', 'xen.remus', 'xen.xend.tests', 'xen.xend.server.tests', 'xen.xend.xenstore.tests', 'xen.xm.tests' ], ext_package = "xen.lowlevel", ext_modules = modules ) os.chdir('logging') execfile('setup.py')