- we now add the kernel options in the preamble of the URI hierarchy

[helm.git] / helm / software / lambda-delta / basic_rg / brg.ml

diff --git a/helm/software/lambda-delta/basic_rg/brg.ml b/helm/software/lambda-delta/basic_rg/brg.ml
index fd93f397af56bf450ce8ef1452697f004ce7b3e5..efc5d7556914bc6b8976b0ade53be6a751c042ee 100644 (file)
--- a/helm/software/lambda-delta/basic_rg/brg.ml
+++ b/helm/software/lambda-delta/basic_rg/brg.ml
@@ -35,8 +35,9 @@ type lenv = Null
 
 (* helpers ******************************************************************)
 
-let mk_uri root s =
-   String.concat "/" ["ld:"; "brg"; root; s ^ ".ld"]
+let mk_uri si root s =
+   let kernel = if si then "brg-si" else "brg" in
+   String.concat "/" ["ld:"; kernel; root; s ^ ".ld"]
 
 (* Currified constructors ***************************************************)