7 PMSTDLIB_SOURCES = ["../lib/list.py",
12 if env["IPM"] == True:
13 PMSTDLIB_SOURCES.append("../lib/ipm.py")
16 img_sources = Command(["pmstdlib_img.c", "pmstdlib_nat.c"], [PMSTDLIB_SOURCES],
17 "%s src/tools/pmImgCreator.py -f src/platform/%s/pmfeatures.py -c -s " \
18 "-o src/vm/pmstdlib_img.c --native-file=src/vm/pmstdlib_nat.c $SOURCES" \
19 % (sys.executable, vars.args["PLATFORM"]))
20 if sys.platform != "win32":
21 env['ARFLAGS'] = "rcs"
22 lib = env.Library("pmvm_%s" % vars.args["PLATFORM"], SOURCES + img_sources)