aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--compiler/.gitignore1
-rw-r--r--scripts/dev_win_build.cmd5
-rw-r--r--scripts/dev_win_build_compiler.cmd5
3 files changed, 6 insertions, 5 deletions
diff --git a/compiler/.gitignore b/compiler/.gitignore
index 778e7ef..3415fc8 100644
--- a/compiler/.gitignore
+++ b/compiler/.gitignore
@@ -1,3 +1,4 @@
1.stack-work/ 1.stack-work/
2dist/
2ldgallery-compiler.cabal 3ldgallery-compiler.cabal
3*~ \ No newline at end of file 4*~ \ No newline at end of file
diff --git a/scripts/dev_win_build.cmd b/scripts/dev_win_build.cmd
deleted file mode 100644
index ed96211..0000000
--- a/scripts/dev_win_build.cmd
+++ /dev/null
@@ -1,5 +0,0 @@
1@echo off
2cd ..\compiler\
3stack setup
4stack build
5pause \ No newline at end of file
diff --git a/scripts/dev_win_build_compiler.cmd b/scripts/dev_win_build_compiler.cmd
new file mode 100644
index 0000000..d88aa5d
--- /dev/null
+++ b/scripts/dev_win_build_compiler.cmd
@@ -0,0 +1,5 @@
1@echo off
2cd ..\compiler\
3stack setup
4stack build --flag ldgallery-compiler:portable --copy-bins --local-bin-path dist
5pause