diff options
| author | tslil <tslil@posteo.de> | 2021-01-16 01:11:22 -0500 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-08-28 19:37:41 +0100 |
| commit | 0983031d914d5fc391805bdb1034429c2be07383 (patch) | |
| tree | cdce20a03c2d4f2743d0368b9c1576179296f4d9 /Makefile | |
| parent | 87d8665b6615c5c572ac0c23d20d26b448eaf483 (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) |