10 tokens = binname.split("-")
11 transformations = "direct"
13 if tokens[0] == "path":
14 transformations = "path"
16 elif tokens[0] == "cumul":
17 transformations = "cumulative"
21 realtype = options["real_names"].index(realname)
25 if transformations == "direct":
28 pathreal = realtype # hackky.
31 if realname == "mpfr":
32 mpfr_prec = int(tokens[1])
39 if (os.system("make -C %s clean; make -C %s REALTYPE=%d MPFR_PRECISION=%d QUADTREE=%s CONTROLPANEL=disabled TRANSFORMATIONS=%s PATHREAL=%d" % (options["ipdf_src"], options["ipdf_src"], mainreal, mpfr_prec, quadtree, transformations, pathreal)) != 0):
40 raise Exception("Make failed.")
42 os.rename(options["ipdf_bin"], options["local_bin"]+binname)
46 p = ProgressBar(len(options["tobuild"]))
47 print("Building: %s" % str(options["tobuild"]))
49 for (i,b) in enumerate(options["tobuild"]): #options["real_names"]:
50 if b in options["ignore"]:
54 options["built"] += [b]
56 # display("Failed to build %s" % b)
59 if __name__ == "__main__":