# +-------------------------------------------------------------------+ # | Package parameters | # +-------------------------------------------------------------------+ OASISFormat: 0.1 Name: utop Version: 1.0 LicenseFile: LICENSE License: BSD3 Authors: Jérémie Dimino Homepage: http://utop.forge.ocamlcore.org/ BuildTools: ocamlbuild Plugins: DevFiles (0.2), META (0.2) Synopsis: utop Description: Universal toplevel for OCaml # +-------------------------------------------------------------------+ # | The toplevel | # +-------------------------------------------------------------------+ Library utop Path: src Modules: UTop InternalModules: UTop_private BuildDepends: findlib, lambda-term, lwt.syntax XMETADescription: utop configuration XMETARequires: findlib, lambda-term Executable utop Install: true Path: src CompiledObject: byte MainIs: uTop_console_top.ml BuildDepends: utop, findlib, lambda-term, lwt.syntax Executable "utop-emacs" Install: true Path: src CompiledObject: byte MainIs: uTop_emacs_top.ml BuildDepends: utop, findlib, lambda-term, lwt.syntax, threads DataFiles: utop.el ($datadir/emacs/site-lisp) # +-------------------------------------------------------------------+ # | Manual pages | # +-------------------------------------------------------------------+ Document "utop-man" Type: custom (0.2) Title: Man page for utop Install: true BuildTools: gzip XCustom: $gzip -c man/utop.1 > man/utop.1.gz XCustomClean: $rm man/utop.1.gz DataFiles: man/utop.1.gz InstallDir: $mandir/man1 Document "utoprc-man" Type: custom (0.2) Title: Man page for utoprc Install: true BuildTools: gzip XCustom: $gzip -c man/utoprc.5 > man/utoprc.5.gz XCustomClean: $rm man/utoprc.5.gz DataFiles: man/utoprc.5.gz InstallDir: $mandir/man5 # +-------------------------------------------------------------------+ # | Misc | # +-------------------------------------------------------------------+ SourceRepository head Type: darcs Location: http://darcs.ocamlcore.org/repos/utop Browser: http://darcs.ocamlcore.org/cgi-bin/darcsweb.cgi?r=utop;a=summary