From b65cb44ff0941cc1200816c2c571b5e815024f7c Mon Sep 17 00:00:00 2001
From: Nishi <nishi@nishi.boats>
Date: Tue, 12 May 2026 08:59:46 +0900
Subject: [PATCH] stuff

---
 .gitignore   |  1 +
 external/ppr |  2 +-
 pmake.js     | 13 +++++++++++++
 3 files changed, 15 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 1f2b1df..5649e34 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 *.make
 Makefile
 /midas
+/midas.exe
 *.o
 *.a
diff --git a/external/ppr b/external/ppr
index 7927d51..2129af3 160000
--- a/external/ppr
+++ b/external/ppr
@@ -1 +1 @@
-Subproject commit 7927d5114a764edd2f447d20ca65f834b20c4e0c
+Subproject commit 2129af37ff96ea3c99db78fc16dc08562354a97c
diff --git a/pmake.js b/pmake.js
index a24f136..cd68f5c 100644
--- a/pmake.js
+++ b/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);
 })();