PageRenderTime 26ms CodeModel.GetById 22ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

/src/wrappers/gtk/examples/benchmarks/all_checks_property_benchmark.ace

http://github.com/tybor/Liberty
Unknown | 44 lines | 33 code | 11 blank | 0 comment | 0 complexity | c99426b6aee00077184cde9759ed7255 MD5 | raw file
 1system "all_checks_property_benchmark"
 2
 3root PROPERTY_BENCHMARK: make
 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 (no);
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 (no);	
17	profile (no);
18	relax (no);
19
20cluster -- section
21	gdk: "${eiffel_libraries}/eiffel-gdk/loadpath.se"
22	gtk: "${eiffel_libraries}/eiffel-gtk/loadpath.se"
23	glib: "${eiffel_libraries}/eiffel-glib/loadpath.se"
24	gobject: "${eiffel_libraries}/eiffel-gobject/loadpath.se"
25	pando: "${eiffel_libraries}/eiffel-pango/loadpath.se"
26
27	gtk_demo: "."
28
29	-- SmartEiffel's standard library. 
30	standard: "${path_lib}/loadpath.se"
31
32external -- section for elements written in another language
33
34
35generate -- section
36	no_strip(no);
37	no_split(no);
38	clean(no);
39
40	c_compiler_options : "$(pkg-config --cflags gtk+-2.0)"
41
42	linker_options : "$(pkg-config --libs gtk+-2.0)"
43
44end