targets/XSD_toolchain_gcc
author Edouard Tisserant <edouard.tisserant@gmail.com>
Thu, 20 Jul 2023 16:21:26 +0200
changeset 3824 5f0b02ab500c
parent 1478 69fe0b81e951
permissions -rw-r--r--
Tests: have to terminate language test with KILL, side effect of BEREMIZ_TEST_CYCLES

          <xsd:attribute name="Compiler" type="xsd:string" use="optional" default="gcc"/>
          <xsd:attribute name="CFLAGS" type="xsd:string" use="optional" default=""/>
          <xsd:attribute name="Linker" type="xsd:string" use="optional" default="gcc"/>
          <xsd:attribute name="LDFLAGS" type="xsd:string" use="optional" default=""/>