Warning These instructions are for a vanilla installation of the operating system. You need to modify the steps accordingly if ghc or the haskell-platform is already installed. The package is regularly tested on Ubuntu 14.04 64-bit with a self-installed ghc 7.8.4.
PolyPaver
sudo apt-get install libgtk2.0-dev
sudo apt-get install ghc
sudo apt-get install cabal-install
sudo apt-get install git
cabal update
export PATH=\~/.cabal/bin:$PATH
cabal install alex
cabal install happy
cabal install gtk2hs-buildtools
git clone https://github.com/michalkonecny/polypaver.git
cd polypaver
cabal installDownload one of the following executables and place is somewhere on your PATH.
Similar steps should work on newer versions of Ubuntu and on other Linux systems with libc6 version 2.15.
Download one of the following executable and place is somewhere on your PATH.
Note that by installing from source, you also install the PolyPaver Haskell library, which allows one to define PolyPaver problems using Haskell. An example of such a problem is in the folder examples/haskell.
Warning These instructions are for a vanilla installation of the operating system. You need to modify the steps accordingly if ghc or the haskell-platform is already installed. The package has been tested with ghc versions 7.4.1 and 7.4.2.
sudo apt-get install libgtk2.0-dev
sudo apt-get install ghc
sudo apt-get install cabal-install
cabal update
export PATH=\~/.cabal/bin:$PATH
cabal install alex
cabal install happy
cabal install gtk2hs-buildtools
wget http://polypaver.googlecode.com/files/polypaver-0.2.tar.gz
tar xvf polypaver-0.2.tar.gz
cd polypaver-0.2
cabal installIf you replace the last command with:
cabal install -f DynamicLoadingyou will be able to apply PolyPaver on problems defined in Haskell as follows:
polypaver examples/haskell/sqrtexp.hsc:\opt\gtk then prepend c:\opt\gtk\bin to your PATH environment variable.gtk2hs build tools:cabal update
cabal install gtk2hs-buildtoolsc:\opt\polypaver-0.2. You can use a program such as 7zip to extract the archive. Run the following command to build and install:cd c:\opt\polypaver-0.2
cabal installWe provide a 32-bit Ubuntu 11.04 Linux binary of the main polypaver executable. Downloading and running it may be the easiest way to get started. Nevertheless, the binary currently requires problems to be in the SPARK vcg/siv format. The source code archive polypaver-0.1.tar.gz contains several siv files in examples/SPARK/*/out/**.siv.
The easiest way to apply PolyPaver on specific numerical conjectures is to encode them in a simple Haskell file, based on the examples provided, and as explained in the Tutorial. This method requires installation of the polypaver Haskell library.
polypaver-0.1 execute: cabal installexamples/mini.hs. Beware, polypaver command line arguments do not work reliably when executed in ghci.polypaver executable besides the library.