From 386777d30397b3d87dc88832b57fb897f2e51506 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sat, 22 Nov 2008 21:19:30 +0000 Subject: [PATCH] symbolic links to use the uri manager from ng_kernel --- helm/software/lambda-delta/.depend.opt | 2 ++ helm/software/lambda-delta/lib/Make | 2 +- helm/software/lambda-delta/lib/nUri.ml | 1 + helm/software/lambda-delta/lib/nUri.mli | 1 + 4 files changed, 5 insertions(+), 1 deletion(-) create mode 120000 helm/software/lambda-delta/lib/nUri.ml create mode 120000 helm/software/lambda-delta/lib/nUri.mli 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 -- 2.39.2