diff options
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/build.sh b/build.sh new file mode 100755 index 0000000..3a08184 --- /dev/null +++ b/build.sh @@ -0,0 +1,19 @@ +#/bin/sh + +case $1 in + gnu-linux) + NS=gl CFLAGS='-g1 -Os' make + ;; + ms-windows) + NS=w CFLAGS='-g1 -Os' CC='x86_64-w64-mingw32-cc' make + ;; + leak) + NS=leak CC='cc -fsanitize=leak' CFLAGS='-g -O0' make + ;; + ub) + NS=leak CC='cc -fsanitize=undefined' CFLAGS='-g -O0' make + ;; + *) + echo >&2 "dont know how to build '$1'" + exit 1 +esac |