[ 19:24 lev  ]

• 393485 devel/gcc-arm-embedded/Makefile
• 393485 devel/gcc-arm-embedded/distinfo
• 393485 devel/gcc-arm-embedded/files/Makefile
• 393485 devel/gcc-arm-embedded/files/extra-patch-gcc-isl-0.13-compatibility
• 393485 devel/gcc-arm-embedded/files/extra-patch-gcc-isl-0.15-compatibility
• 393485 devel/gcc-arm-embedded/pkg-plist

 (1) Update to latest version.
 (2) Add support for latest isl and cloog.

[ 12:18 lev  ]

• 386400 devel/gcc-arm-embedded/Makefile
• 386400 devel/gcc-arm-embedded/distinfo
• 386400 devel/gcc-arm-embedded/files/Makefile
• 386400 devel/gcc-arm-embedded/files/extra-patch-gcc-isl-0.13-compatibility
• 386400 devel/gcc-arm-embedded/pkg-plist

 Update to latest version.
 Remove logging of build to unbreak build cluster.

[ 15:00 lev  ]

• 378878 devel/gcc-arm-embedded/Makefile
• 378878 devel/gcc-arm-embedded/distinfo
• 378878 devel/gcc-arm-embedded/files/Makefile
• 378878 devel/gcc-arm-embedded/files/extra-patch-gcc-isl-0.13-compatibility
• 378878 devel/gcc-arm-embedded/pkg-plist
• 378878 devel/libopencm3/Makefile

 Update official bare metal ARM toolchain to latest release from 4.9 branch.

[ 12:29 lev  ]

• 361360 devel/gcc-arm-embedded/Makefile
• 361360 devel/gcc-arm-embedded/files/Makefile
• 361360 devel/gcc-arm-embedded/files/extra-patch-gcc-isl-0.13-compatibility

 (1) Add fix to build with devel/isl 0.13
 (2) Add option PURE (default OFF) to build with all provided libraries and
     skip any external dependencies, to make complete repeatable build.