X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Focaml-findlib.spec;fp=helm%2FDEVEL%2Fpxp%2Focaml-findlib.spec;h=0000000000000000000000000000000000000000;hp=6d5cc6b96d336f77eaea729d911ca714caf79e50;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/pxp/ocaml-findlib.spec b/helm/DEVEL/pxp/ocaml-findlib.spec
deleted file mode 100644
index 6d5cc6b96..000000000
--- a/helm/DEVEL/pxp/ocaml-findlib.spec
+++ /dev/null
@@ -1,80 +0,0 @@
-%define toolname  findlib
-
-Summary: OCAML FindLib package manager
-Name: ocaml-%{toolname}
-Version: 0.4.0
-Release: 1
-Copyright: GPL-like
-Group: Development/Languages
-Source: http://www.ocaml-programming.de/packages/%{toolname}-%{version}.tar.gz
-Vendor:  Gerd Stolpmann
-Url: http://www.ocaml-programming.de/packages/documentation/%{toolname}/
-Prereq: fileutils, ocaml
-Requires: fileutils, ocaml
-
-%define dir_man      usr/man
-%define dir_bin      usr/bin
-%define dir_sitelib  usr/lib/ocaml/site-lib
-%define files_doc    LICENSE README INSTALL
-
-BuildRoot: /tmp/root-%{name}
-
-%description
-Provides a scheme to manage reusable software components (packages), 
-as collections of OCaml modules for which metainformation can be stored. 
-The library contains functions to look the directory up that
-stores a package, to query metainformation about a package, and 
-to retrieve dependency information about multiple packages.
-Metainformation includes a version string, the archives the package consists of, additional linker
-options, and dependencies dependent on other packages.
-
-%prep
-%setup -n %{toolname}
-./configure -mandir "/%{dir_man}" -bindir "/%{dir_bin}" -sitelib "/%{dir_sitelib}"
-
-%build
-make all
-make opt
-
-%install
-# Install binary, libs, manuals
-DIR_BIN="${RPM_BUILD_ROOT}/%{dir_bin}"
-DIR_MAN="${RPM_BUILD_ROOT}/%{dir_man}"
-DIR_SITELIB="${RPM_BUILD_ROOT}/%{dir_sitelib}"
-install -m 755 -d   "${DIR_BIN}"
-install -m 755 -d   "${DIR_MAN}"
-install -m 755 -d   "${DIR_SITELIB}"
-make install "OCAML_SITELIB=${DIR_SITELIB}" "OCAMLFIND_BIN=${DIR_BIN}" "OCAMLFIND_MAN=${DIR_MAN}"
-# Move doc files to root, if needed
-for F in %{files_doc} ; do test -f "./doc/${F}" && mv -f "./doc/${F}" . ; done
-
-# HTML manual
-if test -d doc/html ; then mv doc/html htmlman; else mkdir htmlman ; fi
-
-%post
-# Create a symbolic link to version-specific HTML manual 
-cd /usr/doc/HTML/
-if test -L "%{name}" ; then rm -f "%{name}" ; fi
-if test ! -e "%{name}" ; then ln -s "../%{name}-%{version}/htmlman" "%{name}" ; fi
-
-%postun
-cd /usr/doc/HTML/
-if test "$1" = "0" -a -L %{name} ; then rm -f %{name} ; fi
-
-
-%clean
-if test `dirname "${RPM_BUILD_ROOT}"` != "/" ; then rm -rf "${RPM_BUILD_ROOT}" ; fi
-
-%files
-%defattr(-,root,root)
-%doc %{files_doc} htmlman
-/%{dir_bin}
-/%{dir_man}/man1
-/%{dir_man}/man3
-/%{dir_man}/man5
-/%{dir_sitelib}
-
-
-%changelog
-* Fri Sep  1 2000 Olivier Montanuy <Olivier.Montanuy@wanadoo.fr> 
-- created and tested package, with html manual