#
# BINDIR is where the binaries and scripts go. Note that a simple 'make'
# will also install. You'll want to define BINDIR as ../bin untill
# you know things work.
#
BINDIR=/usr/local/bin
#
# Use -DBSD for all BSD-systems
#     -DSYSV for sysv-style systems
#
CFLAGS= -DDEBUG=0 -DBSD
BINARIES= $(BINDIR)/pretobmdp 
$(BINDIR)/pretobmdp : pretobmdp.sh
	cp  pretobmdp.sh $(BINDIR)/pretobmdp
	chmod +x $(BINDIR)/pretobmdp
