remove an old gcc 4.9 workaround

diff --git a/debian/rules b/debian/rules
index c69afcc7df3fa629a50bf0002a2f89f0641f9151..8eab97a9c30774770a340fe35f7d1a32a0d3d5d1 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -103,11 +103,6 @@ ifneq (,$(filter $(DEB_HOST_ARCH),i386 hurd-i386 kfreebsd-i386 armel mipsel powe
 LDFLAGS_EXTRA += -latomic
 endif
 
-ifeq ($(shell dpkg --compare-versions $(shell dpkg-query -W -f '$${Version}' g++-$(GCC_VERSION)) lt 4.9-20140411-1~ ; echo $$?),0)
-# Too old version of gcc. Force 4.9
-       GCC_VERSION := 4.9
-endif
-
 Z3_FLAG = -DLLVM_ENABLE_Z3_SOLVER=OFF
 ifeq ($(shell dpkg --compare-versions $(shell dpkg-query -W -f '$${Version}' libz3-dev) gt 4.7.0; echo $$?),0)
 # no ocaml support in main for Ubuntu