add ubuntu package to INSTALL
[snark14.git] / Makefile
2018-02-12 Kevin M. RosenbergInstall target also installs binaries in /usr/local/bin
2018-02-12 Kevin M. RosenbergMove building of libsnark14.so to top level Makefile.
2018-02-12 Kevin M. RosenbergAdd install target to copy lib/*.so /usr/local/lib/.
2018-02-12 Kevin M. RosenbergAlso clean qt-x11 builds
2018-02-12 Kevin M. RosenbergCleanup examples files
2018-02-12 Kevin M. RosenbergMerge branch 'master' of ssh://tiger.med-info.com:8822...
2018-02-12 Kevin M. RosenbergBuild without src/snark/.deps/*.Po. May add back gcc...
2018-02-12 Kevin M. RosenbergBuild example user_defined programs
2018-02-12 Kevin M. RosenbergBuilding example programs, but libsnark.so not yet...
2018-02-12 Kevin M. RosenbergBuild without /usr/local/snark14
2018-02-12 Kevin M. RosenbergMigrated from xerces=2.x
2018-02-11 Kevin M. RosenbergInitial snark14m import