loa

Virtual machine for the Logic of Assumptions
git clone git://juanmeleiro.mat.br/loa
Log | Files | Refs

default.o.do (129B)

      1 src=$(basename "$1" .o).c
      2 redo-ifchange $src
      3 echo cc -g -c $src -o "$1" >&2
      4 cc -g -Wall -Wextra -fmax-errors=1 -g -c $src -o "$3"