aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZero~Informatique2021-06-29 16:53:44 +0200
committerZero~Informatique2021-06-29 16:53:44 +0200
commit083f0658399afc206ea0751415d54a50d2aa4fe9 (patch)
tree8f6447aa8dc0802eea625fd61fc8ac895e421b4f
parent744588264310f189c711fe4bf52ce0bc0aab0b70 (diff)
downloadldgallery-083f0658399afc206ea0751415d54a50d2aa4fe9.tar.gz
compiler: updated build script with arguments matching the CI
-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