Minor fixes of minor tools

Signed-off-by: Kakadu <Kakadu@pm.me>
2025-12-05 22:38:44 +00:00 · 2024-09-05 17:32:45 +03:00 · 2024-09-05 17:32:45 +03:00 · d3d2535f97
commit d3d2535f97
parent f6277da16e
12 changed files with 67 additions and 27 deletions
--- a/performance/.gitignore
+++ b/performance/.gitignore
@ -0,0 +1 @@
+/*.exe
--- a/performance/dune
+++ b/performance/dune
@ -0,0 +1,21 @@
+(rule
+ (targets Sort.x64.exe)
+ (deps
+  (:lama Sort.lama)
+  ../runtime/runtime.a)
+ (mode
+  (promote (until-clean)))
+ (action
+  (setenv
+   LAMA
+   "../runtime"
+   (run
+    %{project_root}/src/Driver.exe
+    -march=x86_64
+    %{lama}
+    -I
+    ../stdlib/x64
+    -I
+    ../runtime
+    -o
+    %{targets}))))