|
@@ -5,13 +5,13 @@ if [ ! -f .submodule_stamp ]; then
|
5
|
5
|
fi
|
6
|
6
|
|
7
|
7
|
if [ -z "$CFLAGS" ]; then
|
8
|
|
- -lreadline
|
9
|
|
- # Valid flags to add here:
|
|
8
|
+ # Valid flags to add here:
|
10
|
9
|
# -DDEBUG_GC : Turn on debug GC (all memory allocates/frees go to a file, use gcstat.py to get statistics)
|
11
|
10
|
# -DSOL_ICACHE_MIN : Minimum integer to cache in the state
|
12
|
11
|
# -DSOL_ICACHE_MAX : Maximum integer to cache in the state (if MAX < MIN, caching is disabled)
|
13
|
12
|
CFLAGS="-g -DDEBUG_GC"
|
14
|
13
|
fi
|
|
14
|
+CFLAGS="-lreadline"
|
15
|
15
|
|
16
|
16
|
gcc -c $CFLAGS dsl/seq.c
|
17
|
17
|
gcc -c $CFLAGS dsl/list.c
|