Makefile 178 B

12345678
  1. skompiluj: GrupaPrzemiennaModulo.v Wiezniowie.v
  2. coqc -R "./" "" GrupaPrzemiennaModulo.v
  3. coqc -R "./" "" Wiezniowie.v
  4. wyczysc:
  5. rm *.vo *.glob *.vos *.html *.vo *.aux *.vok