diff options
| author | tslil <tslil@posteo.de> | 2021-01-16 01:11:22 -0500 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2021-01-16 01:11:22 -0500 |
| commit | 40f8b0d0ec33ebd7ba6e3b730f15be43bda9a0a0 (patch) | |
| tree | cdce20a03c2d4f2743d0368b9c1576179296f4d9 /Makefile | |
| parent | 7411c927ca44109f0fc8a12604ea40759bf31316 (diff) | |
Quick sketch of non-determinism
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,6 +1,7 @@ IDIR=include TPDIR=3rd-party -CFLAGS=-O3 -Wall -Wextra -std=c99 -D_DEFAULT_SOURCE -I$(IDIR) -I$(TPDIR) +DEFINES=-DDETERMINISTIC +CFLAGS=-O3 -Wall -Wextra -std=c99 -D_DEFAULT_SOURCE $(DEFINES) -I$(IDIR) -I$(TPDIR) LIBS= SRCS=$(wildcard include/*.c) $(wildcard 3rd-party/*.c) |