Package: caml-light-plugins Version: 0.75 Revision: 2 Description: Additional tools/libraries for caml-light Depends: x11, caml-light License: Restrictive/Distributable Maintainer: Thomas Deniau CustomMirror: << eur-PL: ftp://sunsite.icm.edu.pl/pub/programming/caml asi-JP: http://wwwfun.kurims.kyoto-u.ac.jp/soft/caml-light Primary: ftp://ftp.inria.fr/INRIA/caml-light/ << Source: mirror:custom:cl75unix.tar.gz Source-MD5: 6c236074e4487949ec22001c7a498057 SourceDirectory: cl75 DocFiles: COPYRIGHT README contrib/INDEX PatchScript: patch -p1 < %a/caml-light.patch SetCPP: /usr/bin/cpp -P -traditional -Dunix CompileScript: << # first recompile the required tools make -C src configure make -C src/runtime camlrun cp src/runtime/camlrun src/ make -C src/yacc cp src/yacc/camlyacc src/ make -C src/lib make -C src/compiler make -C src/linker make -C src/toplevel #we can proceed to the actual tools compilation make -C contrib CPP='/usr/bin/cpp -P -traditional -Dunix' LIBDIR='%p/lib/%n' CAMLLIBR='%p/bin/camllibr' CAMLLEX='%p/bin/camllex' PACKAGES='libunix debugger libnum libstr mletags lorder profiler libgraph' << InstallScript: << mkdir -p %i/bin mkdir -p %i/lib/caml-light mkdir -p %i/share/man/man1/ make -C contrib MANDIR='%i/share/man/man1' BINDIR='%i/bin/' LIBDIR='%i/lib/caml-light' PACKAGES='libunix debugger libnum libstr mletags lorder profiler libgraph' install << Homepage: http://caml.inria.fr DescDetail: << Caml is a programming language, easy to learn, easy to use, and yet amazingly powerful. It is developed and distributed by INRIA (the main French research institute for computer science), since 1984. There exist two flavors of Caml: Caml Light and Objective Caml. Caml Light is merely a subset of Objective Caml, especially designed for teaching and learning the art of programming. This package includes some add-ons for caml-light, found in the contrib/ part of the distribution : a debugger, X11 graphics support, a big-num library.... << DescUsage: Run 'camllight camlgraph' for X11 graphics support. DescPackaging: << This port includes the libunix, libnum, libstr, and libgraph libraries, along with the debugger, the profiler, and the mletags tool. <<