diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..b78f6c0 --- /dev/null +++ b/Makefile @@ -0,0 +1,15 @@ +# SPDX-License-Identifier: CC0-1.0 +# +# Copyright (C) 2024 W. Kosior <koszko@koszko.org> + +CC = gcc +CFLAGS = -std=c11 -Wall -Wextra -Werror + +poly_mul: poly_mul.o + $(CC) -lflint -lgmp -o $@ $^ + +# For fans of old librebooted ThinkPads — the FLINT build in some distros (at +# least Guix) uses processor instructions not available in old Core 2 Duo +# processors… For mere testing it is enough tu run with QEMU emulation, tho. +run_poly_mul: poly_mul + guix shell qemu -- qemu-x86_64 -cpu max $< |