SRC=3d7pt

include ../common.mk

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