From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sat, 22 Nov 2008 21:19:30 +0000 (+0000)
Subject: symbolic links to use the uri manager from ng_kernel
X-Git-Tag: make_still_working~4514
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=386777d30397b3d87dc88832b57fb897f2e51506;p=helm.git

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 f5f529ef7..3ae365e6d 100644
--- 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 60114a82c..0d6e02e12 100644
--- 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
index 000000000..8987637d4
--- /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
index 000000000..e6205cd14
--- /dev/null
+++ b/helm/software/lambda-delta/lib/nUri.mli
@@ -0,0 +1 @@
+../../components/ng_kernel/nUri.mli
\ No newline at end of file