diff options
| author | Kimplul <kimi.h.kuparinen@gmail.com> | 2025-05-22 21:52:07 +0300 |
|---|---|---|
| committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2025-05-22 21:52:07 +0300 |
| commit | d2c56bc3103a8c459c75c779f5c95d9fd6223d89 (patch) | |
| tree | b75fe643c78c8f4214567d341cdf9f2502df718e /Makefile | |
| download | sat_arith-d2c56bc3103a8c459c75c779f5c95d9fd6223d89.tar.gz sat_arith-d2c56bc3103a8c459c75c779f5c95d9fd6223d89.zip | |
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
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 |