Skip to content
Snippets Groups Projects
  • Kostyantyn Vorobyov's avatar
    7c961227
    [e-acsl-gcc.sh] · 7c961227
    Kostyantyn Vorobyov authored
      - --e-acsl-share option allowing to specify the location of RTL
      - compile using a local version of RTL if uninstalled version of the
      script is used.
    7c961227
    History
    [e-acsl-gcc.sh]
    Kostyantyn Vorobyov authored
      - --e-acsl-share option allowing to specify the location of RTL
      - compile using a local version of RTL if uninstalled version of the
      script is used.