| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | build_with_Gnatmake | 84 | logplain |
| -rw-r--r-- | clean | 50 | logplain |
| -rw-r--r-- | configure_and_build | 184 | logplain |
| -rw-r--r-- | configure_and_clean | 360 | logplain |
| -rw-r--r-- | default_build | 62 | logplain |
| -rw-r--r-- | directories_project | 154 | logplain |
| -rw-r--r-- | distclean | 33 | logplain |
| -rw-r--r-- | relocatable | 87 | logplain |