diff options
Diffstat (limited to 'compiler')
-rw-r--r-- | compiler/win_build.cmd | 4 | ||||
-rw-r--r-- | compiler/win_compile_example.cmd | 9 | ||||
-rw-r--r-- | compiler/win_help.cmd | 4 |
3 files changed, 0 insertions, 17 deletions
diff --git a/compiler/win_build.cmd b/compiler/win_build.cmd deleted file mode 100644 index 33559fa..0000000 --- a/compiler/win_build.cmd +++ /dev/null | |||
@@ -1,4 +0,0 @@ | |||
1 | @echo off | ||
2 | stack setup | ||
3 | stack build | ||
4 | pause \ No newline at end of file | ||
diff --git a/compiler/win_compile_example.cmd b/compiler/win_compile_example.cmd deleted file mode 100644 index 3a52f73..0000000 --- a/compiler/win_compile_example.cmd +++ /dev/null | |||
@@ -1,9 +0,0 @@ | |||
1 | @echo off | ||
2 | SET rebuild=--rebuild | ||
3 | CHOICE /M "Rebuild all ('--rebuild' argument)?" | ||
4 | IF ERRORLEVEL 2 SET rebuild= | ||
5 | echo. | ||
6 | |||
7 | @echo on | ||
8 | stack exec ldgallery-compiler-exe -- %rebuild% --clean-output -i=../example/src/ -o=../example/out/ | ||
9 | @pause | ||
diff --git a/compiler/win_help.cmd b/compiler/win_help.cmd deleted file mode 100644 index d720f65..0000000 --- a/compiler/win_help.cmd +++ /dev/null | |||
@@ -1,4 +0,0 @@ | |||
1 | @echo off | ||
2 | stack exec ldgallery-compiler-exe -- --help | ||
3 | @echo. | ||
4 | @pause | ||