Fix build shared lib filename

dreal / DReal.jl

Nonlinear Constraint Solving and Optimization

https://dreal.github.io/

Other

7 stars 4 forks source link

Closed iamed2 closed 9 years ago

iamed2 commented 9 years ago

Thought it was going to be .tar.gz, turned out to be .zip

zenna commented 9 years ago

You had an extra bracket, @soonhokong please pull again before testing

iamed2 commented 9 years ago

Whoops, sorry!