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",