SRC=3d27pt

include ../common.mk

PLCFLAGS += --pet --nolastwriter
CFLAGS += -DTIME -DVERIFY
LDFLAGS += -lm
