stuff

.gitignore

@@ -1,5 +1,6 @@
 *.make
 Makefile
 /midas
+/midas.exe
 *.o
 *.a

external/ppr

@@ -1 +1 @@
-Subproject commit 7927d5114a764edd2f447d20ca65f834b20c4e0c
+Subproject commit 2129af37ff96ea3c99db78fc16dc08562354a97c

pmake.js

@@ -13,6 +13,8 @@ function main() {
 main.milsko = "/usr/local";
 
 (function() {
+var opt;
+
 opt		= new pmake.Option("with-milsko=PATH");
 opt.category	= "General";
 opt.description = "Specify path to milsko";
@@ -21,5 +23,16 @@ opt.action = function(value) {
 	main.milsko = value;
 };
 
+pmake.register(opt);
+
+opt		= new pmake.Option("with-mingw=PREFIX");
+opt.category	= "General";
+opt.description = "Use MinGW";
+
+opt.action = function(value) {
+	pmake.compiler.prefix = value;
+	pmake.setSystem("Windows");
+};
+
 pmake.register(opt);
 })();