diff options
| author | Lars Jellema <lars.jellema@gmail.com> | 2019-05-11 23:16:17 +0200 |
|---|---|---|
| committer | Milan <me@pbb.lc> | 2020-04-20 14:41:22 +0200 |
| commit | 8e795835106519f48b106232978b2c46952d61d9 (patch) | |
| tree | a553fad7cf5354e0d2ba50a669910e386b98f71a /pkgs/development/compilers/gcc/gnat-cflags.patch | |
| parent | 19de59a9bec006c712470f2bfa48bf420c0199b1 (diff) | |
| download | nixpkgs-8e795835106519f48b106232978b2c46952d61d9.tar nixpkgs-8e795835106519f48b106232978b2c46952d61d9.tar.gz nixpkgs-8e795835106519f48b106232978b2c46952d61d9.tar.bz2 nixpkgs-8e795835106519f48b106232978b2c46952d61d9.tar.lz nixpkgs-8e795835106519f48b106232978b2c46952d61d9.tar.xz nixpkgs-8e795835106519f48b106232978b2c46952d61d9.tar.zst nixpkgs-8e795835106519f48b106232978b2c46952d61d9.zip | |
gnat: init at 9.3.0
Diffstat (limited to 'pkgs/development/compilers/gcc/gnat-cflags.patch')
| -rw-r--r-- | pkgs/development/compilers/gcc/gnat-cflags.patch | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/pkgs/development/compilers/gcc/gnat-cflags.patch b/pkgs/development/compilers/gcc/gnat-cflags.patch new file mode 100644 index 00000000000..a16266bbf39 --- /dev/null +++ b/pkgs/development/compilers/gcc/gnat-cflags.patch @@ -0,0 +1,35 @@ +diff --git a/gcc/ada/gcc-interface/Makefile.in b/gcc/ada/gcc-interface/Makefile.in +index 4e74252bd74..0d848b5b4e3 100644 +--- a/gcc/ada/gcc-interface/Makefile.in ++++ b/gcc/ada/gcc-interface/Makefile.in +@@ -111,7 +111,7 @@ NO_OMIT_ADAFLAGS = -fno-omit-frame-pointer + NO_SIBLING_ADAFLAGS = -fno-optimize-sibling-calls + NO_REORDER_ADAFLAGS = -fno-toplevel-reorder + GNATLIBFLAGS = -W -Wall -gnatpg -nostdinc +-GNATLIBCFLAGS = -g -O2 ++GNATLIBCFLAGS = -g -O2 $(CFLAGS_FOR_TARGET) + # Pretend that _Unwind_GetIPInfo is available for the target by default. This + # should be autodetected during the configuration of libada and passed down to + # here, but we need something for --disable-libada and hope for the best. +@@ -198,7 +198,7 @@ RTSDIR = rts$(subst /,_,$(MULTISUBDIR)) + # Link flags used to build gnat tools. By default we prefer to statically + # link with libgcc to avoid a dependency on shared libgcc (which is tricky + # to deal with as it may conflict with the libgcc provided by the system). +-GCC_LINK_FLAGS=-static-libstdc++ -static-libgcc ++GCC_LINK_FLAGS=-static-libstdc++ -static-libgcc $(CFLAGS_FOR_TARGET) + + # End of variables for you to override. + +diff --git a/libada/Makefile.in b/libada/Makefile.in +index 522b9207326..ca866c74471 100644 +--- a/libada/Makefile.in ++++ b/libada/Makefile.in +@@ -59,7 +59,7 @@ LDFLAGS= + CFLAGS=-g + PICFLAG = @PICFLAG@ + GNATLIBFLAGS= -W -Wall -gnatpg -nostdinc +-GNATLIBCFLAGS= -g -O2 ++GNATLIBCFLAGS= -g -O2 $(CFLAGS) + GNATLIBCFLAGS_FOR_C = -W -Wall $(GNATLIBCFLAGS) $(CFLAGS_FOR_TARGET) \ + -fexceptions -DIN_RTS @have_getipinfo@ @have_capability@ + |