symbolic links to use the uri manager from ng_kernel

diff --git a/helm/software/lambda-delta/.depend.opt b/helm/software/lambda-delta/.depend.opt
index f5f529ef70ec8db3f3549e989e227af15506b37c..3ae365e6dec6f598685926957bd82ff7659c777e 100644 (file)
--- a/helm/software/lambda-delta/.depend.opt
+++ b/helm/software/lambda-delta/.depend.opt
@@ -1,3 +1,5 @@
+lib/nUri.cmo: lib/nUri.cmi 
+lib/nUri.cmx: lib/nUri.cmi 
 automath/autOutput.cmi: automath/aut.cmx 
 automath/autOutput.cmo: lib/cps.cmx automath/aut.cmx automath/autOutput.cmi 
 automath/autOutput.cmx: lib/cps.cmx automath/aut.cmx automath/autOutput.cmi 

diff --git a/helm/software/lambda-delta/lib/Make b/helm/software/lambda-delta/lib/Make
index 60114a82cc6499f4551d80789b82f939fde594b3..0d6e02e1265e98d47b384f0b0efb87f1dfa0ecc5 100644 (file)
--- a/helm/software/lambda-delta/lib/Make
+++ b/helm/software/lambda-delta/lib/Make
@@ -1 +1 @@
-cps time
+nUri cps time

diff --git a/helm/software/lambda-delta/lib/nUri.ml b/helm/software/lambda-delta/lib/nUri.ml
new file mode 120000 (symlink)
index 0000000..8987637
--- /dev/null
+++ b/helm/software/lambda-delta/lib/nUri.ml
@@ -0,0 +1 @@
+../../components/ng_kernel/nUri.ml
\ No newline at end of file

diff --git a/helm/software/lambda-delta/lib/nUri.mli b/helm/software/lambda-delta/lib/nUri.mli
new file mode 120000 (symlink)
index 0000000..e6205cd
--- /dev/null
+++ b/helm/software/lambda-delta/lib/nUri.mli
@@ -0,0 +1 @@
+../../components/ng_kernel/nUri.mli
\ No newline at end of file