be jscoq friendly

LPCIC · Nov 10, 2022 · aa3f4b4 · aa3f4b4
1 parent 2f7cd18
commit aa3f4b4
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/coq_elpi_vernacular.ml b/src/coq_elpi_vernacular.ml
@@ -223,8 +223,11 @@ let file_resolver =
       let build_dir = Coq_elpi_config.elpi_dir in
       let installed_dirs =
         let valid_dir d = try Sys.is_directory d with Sys_error _ -> false in
-        let env = Boot.Env.init () in
-        let user_contrib = Boot.Env.(user_contrib env |> Path.to_string) in
+        let user_contrib =
+          if Sys.backend_type = Sys.Other "js_of_ocaml" then "../.."
+          else
+            let env = Boot.Env.init () in
+            Boot.Env.(user_contrib env |> Path.to_string) in
         user_contrib :: Envars.coqpath
         |> List.map (fun p -> p ^ "/elpi/")
         |> ((@) [".";".."]) (* Hem, this sucks *)