diff options
Diffstat (limited to 'translate/gcc/dist-common.sh')
| -rw-r--r-- | translate/gcc/dist-common.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/translate/gcc/dist-common.sh b/translate/gcc/dist-common.sh index b0b142b47..ad2229734 100644 --- a/translate/gcc/dist-common.sh +++ b/translate/gcc/dist-common.sh @@ -139,6 +139,8 @@ ghdlmain.adb libraries_files=" std/textio.vhdl std/textio_body.vhdl +std/env.vhdl +std/env_body.vhdl ieee/README.ieee ieee/numeric_bit-body.vhdl ieee/numeric_bit.vhdl |