From 50cd78b2668f9c35b6cd46a6f7fe337da85ac7ab Mon Sep 17 00:00:00 2001
From: Nicolas Boulenguez <nicolas.boulenguez@free.fr>
Date: Thu, 8 Aug 2024 23:32:27 +0200
Subject: [PATCH] purs: select node platform

---
 impls/purs/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/impls/purs/Makefile b/impls/purs/Makefile
index 5de690be1b..469536ac63 100644
--- a/impls/purs/Makefile
+++ b/impls/purs/Makefile
@@ -9,7 +9,7 @@ OTHER_SRCS = src/Readline.js src/Readline.purs src/Types.purs src/Reader.purs \
 all: $(BINS)
 
 $(BINS): %.js: src/%.purs $(OTHER_SRCS) node_modules/readline-sync
-	spago bundle-app --main $($(<:src/%=%)) --to $@
+	spago bundle-app --platform=node --main $($(<:src/%=%)) --to $@
 
 
 node_modules/readline-sync:
@@ -32,4 +32,4 @@ stepA_mal.purs = Mal.StepA
 
 
 clean:
-	rm -rf step*.js output/*
\ No newline at end of file
+	rm -rf step*.js output/*