diff options
author | gingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7> | 2010-01-12 03:15:20 +0000 |
---|---|---|
committer | gingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7> | 2010-01-12 03:15:20 +0000 |
commit | fb5957a16dea47ae4021c5d4c57b980cea02ee59 (patch) | |
tree | abdfbed5924f5be4418f74a0afe50b248e41c330 /ortho/gcc | |
parent | 8cca0b24e2c19eedecffdeec89a8a2898da1e362 (diff) | |
download | ghdl-fb5957a16dea47ae4021c5d4c57b980cea02ee59.tar.gz ghdl-fb5957a16dea47ae4021c5d4c57b980cea02ee59.tar.bz2 ghdl-fb5957a16dea47ae4021c5d4c57b980cea02ee59.zip |
ghdl 0.29 release.
Diffstat (limited to 'ortho/gcc')
-rw-r--r-- | ortho/gcc/Makefile | 3 | ||||
-rw-r--r-- | ortho/gcc/lang.opt | 6 |
2 files changed, 7 insertions, 2 deletions
diff --git a/ortho/gcc/Makefile b/ortho/gcc/Makefile index 09ae08c93..c8eba1392 100644 --- a/ortho/gcc/Makefile +++ b/ortho/gcc/Makefile @@ -15,7 +15,8 @@ include $(orthobe_srcdir)/Makefile.inc ORTHO_BASENAME=$(orthobe_srcdir)/ortho_gcc ORTHO_PACKAGE=Ortho_Gcc -LIBFLAGS=$(HOME)/dist/mpfr-2.3.1/.libs/libmpfr.a $(HOME)/dist/gmp-4.2.2/.libs/libgmp.a +#LIBFLAGS=$(HOME)/dist/mpfr-2.3.1/.libs/libmpfr.a $(HOME)/dist/gmp-4.2.2/.libs/libgmp.a +LIBFLAGS=-lmpfr -lgmp $(ortho_exec): $(AGCC_DEPS) $(ORTHO_BASENAME).ads force $(GNATMAKE) -m -o $@ -g -aI$(ortho_srcdir) \ diff --git a/ortho/gcc/lang.opt b/ortho/gcc/lang.opt index 980fef7bf..eb6395999 100644 --- a/ortho/gcc/lang.opt +++ b/ortho/gcc/lang.opt @@ -65,6 +65,10 @@ fexplicit vhdl Explicit function declarations override implicit one in use +fpsl +vhdl +Allow PSL asserts in comments + -no-direct-drivers vhdl Disable direct drivers optimization @@ -83,4 +87,4 @@ Allow any character in comments -mb-comments vhdl -Allow any character in comments
\ No newline at end of file +Allow any character in comments |