# Use this script to setup the PFE project
# Use "cert validate -all" to (re)validate all certificates.

pfe new Examples.hs
ln -s ../lib hi/libs
pfe chase . hi/libs
sh recreate.sh