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.
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 install
Download 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.
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 install
If you replace the last command with:
cabal install -f DynamicLoading
you will be able to apply PolyPaver on problems defined in Haskell as follows:
cabal update cabal install gtk2hs-buildtools
c:\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 install
We 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
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.
polypavercommand line arguments do not work reliably when executed in
polypaverexecutable besides the library.