From 0983031d914d5fc391805bdb1034429c2be07383 Mon Sep 17 00:00:00 2001 From: tslil Date: Sat, 16 Jan 2021 01:11:22 -0500 Subject: Quick sketch of non-determinism --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 1f472ed..1dfb930 100644 --- a/Makefile +++ b/Makefile @@ -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) -- cgit v1.3.1