README.md

This script creates Ubuntu packages for dReal and uploads them to launchpad.net.

Uploaded packages are available at

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

Required packages

We assume that you have Ubuntu 14.04 LTS system. You need the following packages:

sudo apt-get install git pbuilder build-essential ubuntu-dev-tool

Also we assume that you have created your GPG/PGP key and published to launchpad.

How to use script

./update.sh

How to install dReal using PPA

sudo add-apt-repository ppa:dreal/dreal
sudo apt-get update
sudo apt-get install dreal

Once install dReal via PPA, you can use the standard apt-get upgrade to get the latest version of dReal.