diff options
-rw-r--r-- | tools/python/setup.py | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/tools/python/setup.py b/tools/python/setup.py index e9061c871b..1708721d00 100644 --- a/tools/python/setup.py +++ b/tools/python/setup.py @@ -45,12 +45,10 @@ process = Extension("process", flask = Extension("flask", extra_compile_args = extra_compile_args, - include_dirs = [ PATH_XEN, PATH_LIBXC, "xen/lowlevel/flask", - "../flask/libflask/include" ], - library_dirs = [ PATH_LIBXC, "../flask/libflask" ], + include_dirs = [ PATH_XEN, PATH_LIBXC, "xen/lowlevel/flask" ], + library_dirs = [ PATH_LIBXC ], libraries = [ "xenctrl" ], - depends = [ PATH_LIBXC + "/libxenctrl.so", - XEN_ROOT + "/tools/flask/libflask/libflask.so" ], + depends = [ PATH_LIBXC + "/libxenctrl.so" ], sources = [ "xen/lowlevel/flask/flask.c" ]) ptsname = Extension("ptsname", |