PARIS Simulator repository instructions

Obtaining the source code

There are two methods to obtain the source: either through a download of the tarball, or through darcs. There is a chance that the tarball is somewhat lagging behing the darcs repository.

Tarball download

click me

Darcs download

Darcs may very easily be obtained on the web, at http://darcs.net . After installing darcs on your system, cd to a directory where you store your sources, e.g. ~/Sources and type

% darcs get --lazy http://hub.darcs.net/zaleski/paris-stable

then as further patches are released they may be obtained by doing

% cd ~/Sources/paris-stable

% darcs pull http://hub.darcs.net/zaleski/paris-stable

Vofi library

The Vofi library is used in ParisSimulator. See some documentation here. It can be downloaded by clicking here

Developer download

% darcs get --lazy http://hub.darcs.net/zaleski/paris-devel

Contributing patches

Developers may contribute patches. Follow the instructions in here.

PARIS is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. PARIS is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public Licence for more details.