commit 1651dd81ddb9dabe50c3963059a22f3f1fa334c8
parent cf4258453e5aa5e1e1b5d807f962c9f1d1cedce6
Author: walther chen <walther.chen@gmail.com>
Date: Sat, 29 Mar 2025 19:54:09 +0700
update to use bin/* instead of *.bin
Diffstat:
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/Werkfile b/Werkfile
@@ -12,7 +12,7 @@ let cflags = profile | match {
"%" => ""
}
-build "%.bin" {
+build "bin/%" {
from "%.c3"
from [
"util-frequency.c3",
@@ -23,8 +23,8 @@ build "%.bin" {
task build {
let bins = [
- glob "ba*.c3" | map "{:.c3=.bin}",
- ["approximate_pattern_count.bin"]
+ glob "ba*.c3" | map "bin{:s/.c3//}",
+ ["bin/approximate_pattern_count"]
] | flatten
#info "{bins*}"
build bins
diff --git a/justfile b/justfile
@@ -2,7 +2,7 @@ build:
werk build --jobs=1 -Dprofile=release
run problem *args="":
- werk build --jobs=1 -Dprofile=release && time -pq ./target/{{problem}}.bin {{args}}
+ werk build --jobs=1 -Dprofile=release && time -pq ./target/bin/{{problem}} {{args}}
bench problem *args="":
just build {{problem}} -O5 && \
