Skeleton Makefile to work with SPIN/Promela on the command line

Makefile

# Skeleton Makefile to work with SPIN/Promela on the command line

SRC=philo.pml

check: ./pan
        @rm -f $(SRC).trail
        ./pan -n

log: $(SRC) $(SRC).trail
        spin -t -p $(SRC)

pan.c: $(SRC)
        spin -a $(SRC)

pan: pan.c
        gcc -O2 -o pan pan.c

clean:
        rm pan pan.*
        rm $(SRC).trail