arm-gcc-flags
authorDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Tue, 20 Aug 2019 15:52:34 +0000 (16:52 +0100)
committerSébastien Villemot <sebastien@debian.org>
Tue, 20 Aug 2019 15:52:34 +0000 (16:52 +0100)
Gbp-Pq: Name arm-gcc-flags.patch

Makefile.arm

index b5d80f8e6aaf649904142693a539cd23695413b8..df0fded44d3c8f446f089ee8412a841c006a13ee 100644 (file)
@@ -9,6 +9,6 @@ endif
 endif
 
 ifeq ($(CORE), ARMV6)
-CCOMMON_OPT += -mfpu=vfp
-FCOMMON_OPT += -mfpu=vfp
+CCOMMON_OPT += -mfpu=vfpv3-d16 -march=armv7-a
+FCOMMON_OPT += -mfpu=vfpv3-d16 -march=armv7-a
 endif