diff options
Diffstat (limited to 'translate/gcc/dist-common.sh')
| -rw-r--r-- | translate/gcc/dist-common.sh | 44 |
1 files changed, 42 insertions, 2 deletions
diff --git a/translate/gcc/dist-common.sh b/translate/gcc/dist-common.sh index e3ccc9139..8ee0c16a0 100644 --- a/translate/gcc/dist-common.sh +++ b/translate/gcc/dist-common.sh @@ -27,8 +27,12 @@ sem_types.ads sem_types.adb sem_assocs.ads sem_assocs.adb +sem_psl.ads +sem_psl.adb canon.adb canon.ads +canon_psl.ads +canon_psl.adb flags.adb flags.ads configuration.adb @@ -37,6 +41,7 @@ nodes.ads nodes.adb options.ads options.adb +psl-errors.ads lists.ads lists.adb iirs.adb @@ -71,6 +76,8 @@ errorout.adb errorout.ads parse.adb parse.ads +parse_psl.ads +parse_psl.adb post_sems.ads post_sems.adb ieee.ads @@ -260,5 +267,38 @@ times.c clock.c linux.c pthread.c -win32.c -win32thr.c" +win32.c" + +psl_files=" +psl.ads +psl-build.adb +psl-build.ads +psl-cse.adb +psl-cse.ads +psl-disp_nfas.adb +psl-disp_nfas.ads +psl-dump_tree.adb +psl-dump_tree.ads +psl-hash.adb +psl-hash.ads +psl-nfas.adb +psl-nfas.ads +psl-nfas-utils.adb +psl-nfas-utils.ads +psl-nodes.adb +psl-nodes.ads +psl-optimize.adb +psl-optimize.ads +psl-prints.adb +psl-prints.ads +psl-priorities.ads +psl-qm.adb +psl-qm.ads +psl-rewrites.adb +psl-rewrites.ads +psl-subsets.adb +psl-subsets.ads +psl-tprint.adb +psl-tprint.ads +sa_bools.adb +sa_bools.ads" |