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 |
#!/usr/bin/python import os; import sys; options = [ "gconf", "xml", "gnome", "gnomemm", "kde", "distribution", "exercises"] for i in range(0, 127) : conf = "./configure "; for j in range(0, 6) : if i & (1 << j) : conf = conf + "--disable-" + options[j] + " " else : conf = conf + "--enable-" + options[j] + " " sys.stderr.write(conf + "\n\n\n"); os.system(conf); os.system("make"); os.system("make distclean"); |