# +-------------------------------------------------------------------+ # | Package parameters | # +-------------------------------------------------------------------+ OASISFormat: 0.1 OCamlVersion: >= 3.12 Name: utop Version: 1.1 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 "optcomp" Install: false Path: syntax Modules: Pa_optcomp BuildDepends: camlp4.lib, camlp4.quotations.o Library utop Path: src Modules: UTop InternalModules: UTop_private BuildDepends: findlib, lambda-term (>= 1.1), 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) # +-------------------------------------------------------------------+ # | Doc | # +-------------------------------------------------------------------+ Document "utop-api" Title: API reference for utop Type: ocamlbuild (0.2) Install: true InstallDir: $htmldir/api DataFiles: style.css BuildTools: ocamldoc XOCamlbuildPath: ./ XOCamlbuildLibraries: utop # +-------------------------------------------------------------------+ # | 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 # +-------------------------------------------------------------------+ # | Configuration examples | # +-------------------------------------------------------------------+ Document "utoprcs" Type: custom (0.2) Title: utoprc examples XCustom: true Install: true DataFiles: utoprc-dark, utoprc-light # +-------------------------------------------------------------------+ # | 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