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

http://github.com/tybor/Liberty · Unknown · 44 lines · 33 code · 11 blank · 0 comment · 0 complexity · c3e788927e14de41146520f092afbf69 MD5 · raw file 

    

  1. system "property_benchmark"
    2. 

  2. 

  3. root PROPERTY_BENCHMARK: make
    4. 

  4. 

  5. default -- section of the system
    6. 

  6. 	assertion (boost); 
    7. 

  7. 	-- Choose the appropriate value: boost, no, require, ensure, invariant, loop, check, all.
    8. 

  8. 	assertion_flat_check (no);
    9. 

  9. 	debug (no);
    10. 

  10. 	trace (no);
    11. 

  11. 	collect (yes);
    12. 

  12. 	no_style_warning (no);
    13. 

  13. 	no_warning (no);
    14. 

  14. 	verbose (no);
    15. 

  15. 	manifest_string_trace (no);
    16. 

  16. 	high_memory_compiler (no);	
    17. 

  17. 	profile (no);
    18. 

  18. 	relax (no);
    19. 

  19. 

  20. cluster -- section
    21. 

  21. 	gdk: "${eiffel_libraries}/eiffel-gdk/loadpath.se"
    22. 

  22. 	gtk: "${eiffel_libraries}/eiffel-gtk/loadpath.se"
    23. 

  23. 	glib: "${eiffel_libraries}/eiffel-glib/loadpath.se"
    24. 

  24. 	gobject: "${eiffel_libraries}/eiffel-gobject/loadpath.se"
    25. 

  25. 	pando: "${eiffel_libraries}/eiffel-pango/loadpath.se"
    26. 

  26. 

  27. 	gtk_demo: "."
    28. 

  28. 

  29. 	-- SmartEiffel's standard library. 
    30. 

  30. 	standard: "${path_lib}/loadpath.se"
    31. 

  31. 

  32. external -- section for elements written in another language
    33. 

  33. 

  34. 

  35. generate -- section
    36. 

  36. 	no_strip(no);
    37. 

  37. 	no_split(no);
    38. 

  38. 	clean(no);
    39. 

  39. 

  40. 	c_compiler_options : "$(pkg-config --cflags gtk+-2.0)"
    41. 

  41. 

  42. 	linker_options : "$(pkg-config --libs gtk+-2.0)"
    43. 

  43. 

  44. end
    45.