| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | build_with_Gnatmake | 628 | logplain |
| -rw-r--r-- | clean | 601 | logplain |
| -rw-r--r-- | configure-build-install | 807 | logplain |
| -rw-r--r-- | configure_and_clean | 904 | logplain |
| -rw-r--r-- | default_build | 613 | logplain |
| -rw-r--r-- | default_install | 861 | logplain |
| -rw-r--r-- | directories_project | 698 | logplain |
| -rw-r--r-- | distclean | 584 | logplain |
| -rw-r--r-- | relocatable | 631 | logplain |