diff options
Diffstat (limited to 'debian/patches/gdc-profiledbuild.diff')
| -rw-r--r-- | debian/patches/gdc-profiledbuild.diff | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/debian/patches/gdc-profiledbuild.diff b/debian/patches/gdc-profiledbuild.diff new file mode 100644 index 0000000..2c1624b --- /dev/null +++ b/debian/patches/gdc-profiledbuild.diff @@ -0,0 +1,19 @@ +# DP: Don't build gdc build tools idgen and impcnvgen with profiling flags + +--- a/src/gcc/d/Make-lang.in ++++ b/src/gcc/d/Make-lang.in +@@ -97,6 +97,14 @@ + d/impcvgen: d/impcnvgen.dmdgen.o + +$(LINKER_FOR_BUILD) $(BUILD_LINKER_FLAGS) $(BUILD_LDFLAGS) -o $@ $^ + ++d/idgen.dmdgen.o: d/dfrontend/idgen.c ++ $(filter-out -fprofile-%,$(DMD_COMPILE)) $(D_INCLUDES) $< ++ $(POSTCOMPILE) ++ ++d/impcnvgen.dmdgen.o: $(srcdir)/d/dfrontend/impcnvgen.c ++ $(filter-out -fprofile-%,$(DMDGEN_COMPILE)) $(D_INCLUDES) $< ++ $(POSTCOMPILE) ++ + # Generated sources. + d/id.c: d/idgen + cd d && ./idgen |