| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Comfignat_default_goal | 71 | logplain |
| -rw-r--r-- | Makefile | 1370 | logplain |
| -rw-r--r-- | base | 71 | logplain |
| -rw-r--r-- | build | 71 | logplain |
| -rw-r--r-- | build_testcase.gpr | 755 | logplain |
| -rw-r--r-- | clean | 71 | logplain |
| -rw-r--r-- | configure | 71 | logplain |
| -rw-r--r-- | distclean | 71 | logplain |
| -rw-r--r-- | generated_files | 407 | logplain |
| -rw-r--r-- | install | 71 | logplain |
| -rw-r--r-- | install_files | 71 | logplain |
| -rw-r--r-- | install_stage | 71 | logplain |
| -rw-r--r-- | postinstall | 71 | logplain |
| -rw-r--r-- | preinstall | 71 | logplain |
| -rw-r--r-- | preprocess | 71 | logplain |
| -rw-r--r-- | testcase.adb | 700 | logplain |
| -rw-r--r-- | unconfigure | 71 | logplain |