diff options
Diffstat (limited to 'run.sh')
-rwxr-xr-x | run.sh | 15 |
1 files changed, 14 insertions, 1 deletions
@@ -39,4 +39,17 @@ | |||
39 | # Mesa may not really implement all the features of the given version. (for | 39 | # Mesa may not really implement all the features of the given version. (for |
40 | # developers only) | 40 | # developers only) |
41 | 41 | ||
42 | MESA_GL_VERSION_OVERRIDE=3.3 MESA_GLSL_VERSION_OVERRIDE=330 ./gix | 42 | #cmd=gix |
43 | cmd=meshsketch | ||
44 | |||
45 | quiet() { "$@" >/dev/null 2>&1; } | ||
46 | |||
47 | quiet which $cmd || quiet stack exec -- which $cmd || stack build | ||
48 | |||
49 | [ -e .stack-work ] && run='stack run --' || run= | ||
50 | |||
51 | if [ "$cmd" = meshsketch ]; then | ||
52 | [ -e hello_obj2.json ] || $run lc hello_obj2.lc | ||
53 | fi | ||
54 | |||
55 | MESA_GL_VERSION_OVERRIDE=3.3 MESA_GLSL_VERSION_OVERRIDE=330 $run $cmd | ||