Closed tdz closed 7 years ago
The scripts in this patch enable the use of Travis CI on Github. There are no tests yet, but automated builds should work.
I don't have Ubuntu. If you do, could you please check if the apt-get commands install the correct packages? Thanks!
Never mind. This PR is already checked by Travis.
Merged #9e0878f84e117746ec3d426a15e67e5f3dd65fcb
The scripts in this patch enable the use of Travis CI on Github. There are no tests yet, but automated builds should work.