summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorKai Stevenson <kai@kaistevenson.com>2023-06-13 01:59:43 -0700
committerKai Stevenson <kai@kaistevenson.com>2023-06-13 01:59:43 -0700
commit2f7ac38cca2ebab41b8adb76b69e0949eeae488d (patch)
tree6395841e2dbc557f619635f9b04fdd6e26a9985c /Makefile
parent8f4eb9fc953512365f9258ffd5d11ed8950f77a9 (diff)
fixed bugs, just_is_sound works for conjunct intro
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 83970cf..94251dc 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ PREFIX ?= /usr
BINDIR ?= ${PREFIX}/bin
generate:
- $(CC) -o operetta operetta.c proposition.c parse.c lexer.c $(CFLAGS)
+ $(CC) -o operetta operetta.c proposition.c parse.c lexer.c eval.c $(CFLAGS)
install: operetta
install operetta ${DESTDIR}${BINDIR}