149 lines · 4.2 KB · Text
RawDownload
Distribution: IT University of CopenhagenVendor: IT University of CopenhagenPackager: Jakob Lichtenberg <jl@itu.dk>URL: http://www.dina.kvl.dk/~sestoft/mosml.htmlSummary:  Moscow MLName: mosmlVersion: 2.00Release: 1Source: ftp://ftp.dina.kvl.dk/pub/mosml/mos20src.tar.gz Patch: mosml_dynlibs_setup.patchPatch1: mosml_bindir.patchPatch2: mosml_ccc.patchCopyright: GPLGroup: Development/LanguagesBuildRoot: /tmp/%{name}-%{version}-root%descriptionMoscow ML provides a light-weight implementation of full Standard ML,including Modules and some extensions.  Standard ML is a strictfunctional language widely used in teaching and research. Moscow ML is based on the Caml Light system, which gives fastcompilation and modest storage consumption.    * The full SML Modules language (structures, signatures, and functors)      is now supported, thanks to Claudio Russo.     * Also, several extensions to the SML Modules language are provided:      - higher-order functors: functors may be defined within structures         and functors      - first-class modules: structures and functors may be packed and         then handled as Core language values, which may then be unpacked         as structures or functors again      - recursive modules: signatures and structures may be recursively         defined   * Despite that improvements, Moscow ML remains backwards compatible.   * Value polymorphism has become friendlier: non-generalizable free     type variables are left free, and become instantiated (once only)     when the bound variable is used   * Added facilities for creating and communicating with subprocesses     (structure Unix and Signal from SML Basis Library).   * Added facilities for efficient functional generation of HTML code     (structure Msp); also supports the writing of ML Server Page scripts.   * Added facilities setting and accessing `cookies' in CGI scripts     (structure Mosmlcookie), thanks to Hans Molin, Uppsala, Sweden.   * The Gdimage structure now produces PNG images (using Thomas      Boutell's gd library).  Moscow ML version 2.00 is available from               http://www.dina.kvl.dk/~sestoft/mosml.html  This RPM contains the following dynlibs:  * Gdbm  * Mysql  * Postgres  * Regex  * Socket  * Unix The following dynlibs are not build:  * Gdimage  * IntInf  * interface  * crypt  %prep%setup -n mosml%patch%patch1# Comment in to use Alpha Compaq C Compiler, ccc:# %patch2   %buildcd srcmake MOSMLHOME=${RPM_BUILD_ROOT}/usr/mosml world  %installrm -rf ${RPM_BUILD_ROOT}cd srcmake MOSMLHOME=${RPM_BUILD_ROOT}/usr/mosml installcd dynlibsmake MOSMLHOME=${RPM_BUILD_ROOT}/usr/mosml make MOSMLHOME=${RPM_BUILD_ROOT}/usr/mosml installcd ..cd .. cp -a tools/Makefile.stub ${RPM_BUILD_ROOT}/usr/mosml/tools # Put installed doc in an rpm mannercp -a ${RPM_BUILD_ROOT}/usr/mosml/doc .rm -rf ${RPM_BUILD_ROOT}/usr/mosml/doc # Link binaries to the standard search path /usr/binmkdir -p ${RPM_BUILD_ROOT}/usr/bincd ${RPM_BUILD_ROOT}/usr/mosml/binfor x in * do  ln -sf ../mosml/bin/$x ${RPM_BUILD_ROOT}/usr/bin/$xdone # Alternatively, you can move bin out of mosml:# mkdir -p ${RPM_BUILD_ROOT}/usr# mv ${RPM_BUILD_ROOT}/usr/mosml/bin ${RPM_BUILD_ROOT}/usr/bin # dynamic load path is extended to include /usr/mosml/lib,# Instead you can move libraries to the standard dynamic loadpath /usr/lib# mkdir -p ${RPM_BUILD_ROOT}/usr/lib# cd ${RPM_BUILD_ROOT}/usr/mosml/lib# for x in lib*.so # do#   mv ${RPM_BUILD_ROOT}/usr/mosml/lib/${x} ${RPM_BUILD_ROOT}/usr/lib/${x}#   # to link instead: ln -sf ../mosml/lib/${x}  ${RPM_BUILD_ROOT}/usr/lib/${x}# done # Fix minor install problem:rm -f ${RPM_BUILD_ROOT}/usr/mosml/lib/camlrunmln -s ../bin/camlrunm ${RPM_BUILD_ROOT}/usr/mosml/lib/camlrunm %cleanrm -rf ${RPM_BUILD_ROOT} %postif ! grep '^/usr/mosml/lib$' /etc/ld.so.conf > /dev/null 2>&1; then  echo "/usr/mosml/lib" >> /etc/ld.so.conffi/sbin/ldconfig %postunif [ "$1" = "0" ]; then  grep -v '^/usr/mosml/lib$' /etc/ld.so.conf > /etc/ld.so.conf.new 2>/dev/null  cat /etc/ld.so.conf.new > /etc/ld.so.conf  rm -f /etc/ld.so.conf.newfi/sbin/ldconfig %files%defattr(-,root,root)/usr/mosml/usr/bin/*%doc README copyrght doc/* examples %changelog * Fri Jun 30 2000 Jakob Lichtenberg <jl@itu.dk>- initial release