1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
This is mlgtk, the Ocaml - gtk+ binding kit, version 1.2.
Copyright (c) 1997-99 David Monniaux, Pascal Cuoq and Sven Luther
gtk+ is a free GUI building library with a Motif look'n'feel.
See http://www.gtk.org/ for details.
Ocaml is a ML dialect (strongly typed functional language with
imperative features) with a powerful module system and native code
generation, available from:
http://pauillac.inria.fr/ocaml/
Taking advantage from gtk+'s strong support for languages that don't
follow C's calling conventions, we have started building an interface
kit. We aim to provide full gtk+ support for Ocaml.
Users are encouraged to upgrade and test with the latest version of
gtk-1.2. gtk-1.0 is no longer supported.
INSTALL
Type 'make' to build the library and examples.
Gnu make is recommended. If your make chokes on the Makefile, try
removing the use of sophisticated features from the Makefile by hand.
This version requires Ocaml 2.02, but there wouldn't be much to change
to compile with 2.01 or even 2.00.
FIRST STEPS
The files tut_*.ml give documented examples of use of the
mlgtk bindings. This is currently the only specific
documentation available. You may also find the
Gtk tutorial useful: http://www.gtk.org/documentation.html,
although it uses C as its programming language.
The Gtk reference manual is still being written. See:
http://www.gtk.org/rdp/
AUTHORS (CONTACTING THE)
We are:
David.Monniaux@ens-lyon.fr or monniaux@clipper.ens.fr
Pascal.Cuoq@inria.fr
Sven Luther <luther@dpt-info.u-strasbg.fr>
If you are interested in mlgtk, you can subscribe the
following mailing lists :
mlgtk@u-strasbg.fr
mlgtk-dev@u-strasbg.fr
The former is dedicated to dialog between users of mlgtk, or
between users and developers. Post to the later only if
your message would be of no direct interest to other users,
e.g. you want to join development of mlgtk.
To subscribe to, for instance, the mlgtk list, send a message with:
SUBscribe mlgtk <your first name> <your last name>
in the BODY of the message (the subject is ignored) to:
sympa@u-strasbg.fr
Apparently the help messages from the server (for which we are
not responsible) are in French. We apologize for the inconvenience.
As a measure to avoid spam, you have to be subscribed in order
to post to the list. This is another potential source of
inconvenience.
DISTRIBUTION
Snapshots are available from
http://pauillac.inria.fr/~cuoq
WARNING
There remain lots of things to be implemented.
What is implemented is supposed to work. If it doesn't, it's
a bug, and we will do our best to fix it.
Of course, there is no warranty whatsoever about the fitness or the
safety of this work. You use this code at your own peril.
LICENSE
mlgtk is free software and is not public domain. It is copyrighted work
whose copyright belongs to its authors (see above).
mlgtk, beginning with version 1.0.1, is covered by a BSDish license.
See the file LICENSE for details, and for a statement about the
mlgtk (absence of) warranty.
|
