search

dreal / dreal3

There is a new version of dReal, available at https://github.com/dreal/dreal4
GNU General Public License v3.0
48 stars 36 forks source link

apt package #162

Closed soonhokong closed 9 years ago

soonhokong commented 9 years ago

Issue: Launchpad requires to upload a self-contained source for a package, while we rely on CMake's ExternalProject to download third-party packages of dReal (i.e. ibex, capd) from github when dReal is built.

Solution: add a cmake switch for Ubuntu packaging and prepare third-party packages on a local storage.

soonhokong commented 9 years ago

https://launchpad.net/~dreal/+archive/ubuntu/dreal3/+packages

soonhokong commented 9 years ago

https://github.com/dreal/ppa-updater