add cabal file.