diff options
| author | Jakob Kaivo <jkk@ung.org> | 2020-08-13 09:00:35 -0400 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2020-08-13 09:00:35 -0400 |
| commit | ef07878dae5a1a53293714da3f76f2063433b202 (patch) | |
| tree | 425b541bdc323b37cc53658ab0977f45dcfa16d8 | |
| parent | ebf84c5d3aca11cfe3f52ec15275150e26ac97fe (diff) | |
configure for UNGOL by default
| -rw-r--r-- | config.mk | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -1,4 +1,3 @@ -CC=c99 -INCLUDEDIR=../include -LIBDIR=../ -LIBS=-lc -lm +CC=ungol-gcc +CFLAGS=-fno-builtin -g -std=c89 +LDFLAGS=-lc -lm |
