Don't force gcc-11 anymore on riscv64, gcc-10 has the fixes now

This commit is contained in:
Gianfranco Costamagna 2021-03-20 17:16:09 +01:00
parent a8093670b2
commit 2523e2ab95
2 changed files with 0 additions and 5 deletions

1
debian/control vendored
View File

@ -12,7 +12,6 @@ Build-Depends: debhelper (>= 9.0), cmake, chrpath, texinfo, sharutils,
libjsoncpp-dev, pkg-config,
lcov, procps, help2man, zlib1g-dev,
g++-multilib [amd64 i386 kfreebsd-amd64 mips mips64 mips64el mipsel powerpc ppc64 s390 s390x sparc sparc64 x32],
g++-11 [riscv64],
libjs-mathjax, python3-recommonmark,
doxygen, gfortran,
ocaml-nox [amd64 arm64 armhf ppc64el s390x],

4
debian/rules vendored
View File

@ -75,10 +75,6 @@ ifeq ($(shell dpkg --compare-versions $(shell dpkg-query -W -f '$${Version}' g++
GCC_VERSION := 4.9
endif
ifneq (,$(filter $(DEB_HOST_ARCH),riscv64))
GCC_VERSION := 11
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