dune autoconfigure -prefix based on workspace_root not project_root

SkySkimmer · Jan 15, 2025 · 801c88a · 801c88a
1 parent ee7d0c0
commit 801c88a
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/config/dune b/config/dune
@@ -35,7 +35,5 @@
    %{project_root}/dev/ocamldebug-coq.run
    %{project_root}/dev/header.c
    ; Needed to generate include lists for coq_makefile
-   plugin_list
-  ; used for the prefix
-  (env_var PWD))
- (action (chdir %{project_root} (run %{project_root}/tools/configure/configure.exe -quiet -prefix ../install/default))))
+   plugin_list)
+ (action (chdir %{project_root} (run %{project_root}/tools/configure/configure.exe -quiet -prefix %{workspace_root}/../install/default))))