2
* ML GMP - Interface between Objective Caml and GNU MP
3
* Copyright (C) 2001 David MONNIAUX
5
* This software is free software; you can redistribute it and/or
6
* modify it under the terms of the GNU Library General Public
7
* License version 2 published by the Free Software Foundation,
8
* or any more recent version published by the Free Software
9
* Foundation, at your choice.
11
* This software is distributed in the hope that it will be useful,
12
* but WITHOUT ANY WARRANTY; without even the implied warranty of
13
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
15
* See the GNU Library General Public License version 2 for more details
16
* (enclosed in the file LGPL).
18
* As a special exception to the GNU Library General Public License, you
19
* may link, statically or dynamically, a "work that uses the Library"
20
* with a publicly distributed version of the Library to produce an
21
* executable file containing portions of the Library, and distribute
22
* that executable file under terms of your choice, without any of the
23
* additional requirements listed in clause 6 of the GNU Library General
24
* Public License. By "a publicly distributed version of the Library",
25
* we mean either the unmodified Library as distributed by INRIA, or a
26
* modified version of the Library that is distributed under the
27
* conditions defined in clause 3 of the GNU Library General Public
28
* License. This exception does not however invalidate any other reasons
29
* why the executable file might be covered by the GNU Library General
33
(* The following code is a hack! *)
40
(fun f -> Topdirs.dir_install_printer Format.std_formatter
41
(Obj.magic (Ldot((Lident "Pretty_gmp"), f)))
42
) ["z"; "q"; "f"; "fr"];;
added
removed
install_pp.ml
