/src/wrappers/gtk/examples/gtk-eiffel-doc/gtk_eiffel_doc.ace

 1system "gtk-eiffel-doc"
 2
 3root GTK_EIFFEL_DOC: main
 4
 5default -- section of the system
 6	assertion (all); 
 7	-- Choose the appropriate value: boost, no, require, ensure, invariant, loop, check, all.
 8	assertion_flat_check (no);
 9	debug (yes);
10	trace (no);
11	collect (yes);
12	no_style_warning (no);
13	no_warning (no);
14	verbose (no);
15	manifest_string_trace (no);
16	high_memory_compiler (yes);
17	profile (no);
18	relax (no);
19
20cluster -- section
21      stardard: "${path_lib}/loadpath.se"
22	      default -- for the standard lib
23         assertion (boost)
24         debug (no);
25         trace (no);
26      end -- of standard lib
27
28      smarteiffel: "${path_tools}loadpath.se"
29	      default -- for the standard tools
30         assertion (boost)
31         debug (no);
32         trace (no);
33      end -- of standard tools
34
35      gtk: "${eiffel_libraries}/eiffel-gtk/loadpath.se"
36	      default -- for the standard tools
37         assertion (all)
38         debug (yes);
39      end -- of standard tools
40
41      gtk_eiffel_doc: "."
42	      default -- for the standard tools
43         assertion (all)
44         debug (yes);
45      end -- of standard tools
46
47
48--    optional_cluster_name: "cluster_path_using_system_file_notation_here"
49--       default -- at this cluster level
50--          assertion (require)
51--          debug (no);
52--          trace (no);
53--       option -- for this cluster
54--          assertion (loop) : CLASS_NAME1, CLASS_NAME2;
55--          assertion (all)  : CLASS_NAME3, CLASS_NAME4;
56--          -- ...
57--          debug (yes) : CLASS_NAME1, CLASS_NAME2, ...;
58--          debug ("KEY") : CLASS_NAME1, CLASS_NAME2, ...;
59--          -- ...
60--          trace : CLASS_NAME1, CLASS_NAME2;
61--          trace : CLASS_NAME3, CLASS_NAME4;
62--          -- ...
63--       end -- of one cluster
64
65	-- Pull in SmartEiffel's standard library. Always put this last so 
66	-- that you can override options for parts of the library.
67
68	standard: "${path_lib}/loadpath.se"
69
70external -- section for elements written in another language
71
72
73generate -- section
74	no_strip(no);
75	no_split(no);
76	clean(no);
77
78	--c_mode: distcc;
79	
80	c_compiler_options : "$(pkg-config --cflags gtk+-2.0 gtk+-unix-print-2.0)"
81
82	linker_options : "$(pkg-config --libs gtk+-2.0 gtk+-unix-print-2.0)"
83
84end