-- Extensions
:set -XForeignFunctionInterface
:set -XUndecidableInstances

-- Packages
:set -package base
:set -package containers
:set -package array
:set -package mtl
:set -package unix
:set -package regex-compat
:set -package bytestring
:set -package directory
:set -package process
:set -package filepath
:set -package time
:set -package old-time
:set -package old-locale
:set -package split
:set -package syb

-- Haskell source
:set -i../comp:../comp/Libs:../comp/GHC:../comp/GHC/posix:../Parsec

-- Shared libraries and FFI bindings
:set -i../vendor/stp/include_hs
:set -i../vendor/yices/include_hs
:set -i../vendor/htcl

:set -I/usr/include/tcl
:set -L../vendor/htcl
:set -lhtcl

:set -L../vendor/stp/lib
:set -lstp

:set -L../vendor/yices/lib
:set -lyices

-- Faster compilation times
:set -j