aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorKimplul <kimi.h.kuparinen@gmail.com>2025-05-22 21:52:07 +0300
committerKimplul <kimi.h.kuparinen@gmail.com>2025-05-22 21:52:07 +0300
commitd2c56bc3103a8c459c75c779f5c95d9fd6223d89 (patch)
treeb75fe643c78c8f4214567d341cdf9f2502df718e /Makefile
downloadsat_arith-master.tar.gz
sat_arith-master.zip
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile8
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..2dd2764
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,8 @@
+check:
+ mkdir -p build
+ $(CC) -O2 -Iinclude -g -Wall -Wextra tests/add_sat.c -o build/add_sat
+ $(CC) -O2 -Iinclude -g -Wall -Wextra tests/sub_sat.c -o build/sub_sat
+ $(CC) -O2 -Iinclude -g -Wall -Wextra tests/mul_sat.c -o build/mul_sat
+ ./build/add_sat
+ ./build/sub_sat
+ ./build/mul_sat