diff options
| author | Julian Weigt <juw@posteo.de> | 2025-12-21 14:47:29 +0000 |
|---|---|---|
| committer | Julian Weigt <juw@posteo.de> | 2026-02-04 16:05:07 +0100 |
| commit | 095f2207822cc4b12590eac636f2cd7fd6dc840b (patch) | |
| tree | 6a96b912e4bab04f8e27425f9685c773b25ccbf4 | |
| parent | 706279112cf39551244b1435510c0bee96e5dc3f (diff) | |
Add makefile.
| -rw-r--r-- | makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/makefile b/makefile new file mode 100644 index 0000000..f95b912 --- /dev/null +++ b/makefile @@ -0,0 +1,12 @@ +#!/bin/sh + +all: charf_approx charf_exact charf_error + +charf_approx: charf.c double.h double.c + gcc -o $@ -D MODE=0 $^ -lm -pthread + +charf_error: charf.c double-error.h double-error.c + gcc -o $@ -D MODE=1 $^ -lm -pthread + +charf_exact: charf.c ratio.h ratio.c + gcc -o $@ -D MODE=2 $^ -lm -pthread |