]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0-1.spec
- New interface for the MathQL interpreter (1.3 version)
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0-1.spec
1 Summary: LablGTK : an interface to the GIMP Tool Kit for OCaml
2 Name: lablgtk_20000829
3 Version: 0.1.0
4 Release: 1
5 Copyright: LGPL
6 Group: Development/Libraries
7 Source: ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/lablgtk-20000829.tar.gz
8 %description
9 LablGTK is an interface to the GIMP Tool Kit for OCaml.
10
11 %prep
12 %setup
13
14 %build
15 make configure
16 make
17 make opt
18
19 %install
20 make install
21
22 %files
23 %doc CHANGES COPYING README doc
24
25 /usr/lib/ocaml/lablgtk/