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
|
system
range_widgets
root
RANGE_WIDGETS_APP (root_cluster): "make"
default
assertion (all)
multithreaded (no)
console_application (no)
dynamic_runtime (no)
dead_code_removal (yes)
profile (no)
line_generation (no)
debug (no)
array_optimization (no)
inlining (no)
inlining_size ("4")
precompiled ("$EIFFEL4/precomp/spec/$PLATFORM/base");
address_expression (yes)
cluster
root_cluster: "$EGTK/examples/range_widgets";
-- eGTK
gtk: "$EGTK/lib/gtk";
gtk_ise: "$EGTK/lib/gtk/ise";
gtk_extern: "$EGTK/lib/gtk/externals";
gdk: "$EGTK/lib/gdk";
gdk_extern: "$EGTK/lib/gdk/externals";
gdk_ise: "$EGTK/lib/gdk/ise";
egtk: "$EGTK/lib/egtk";
egtk_ise: "$EGTK/lib/egtk/ise";
eifc: "$EGTK/lib/eifc";
eifc_ise: "$EGTK/lib/eifc/ise";
eifc_extern: "$EGTK/lib/eifc/externals";
glib: "$EGTK/lib/glib";
external
object:
"-lm `gtk-config --libs`",
"${EGTK}/C/ise/eif_gtk.a"
end
|
