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

http://github.com/tybor/Liberty · Unknown · 84 lines · 67 code · 17 blank · 0 comment · 0 complexity · fee9cc68537c033a719c3b8369a33648 MD5 · raw file

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