summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2019-11-30ocaml-psmt2-frontend: install manuallyAlad Wenter
The Makefile seems to ignore DESTDIR completely. Use manual installation from earnestly/ocaml-psmt2-frontend-git
2019-11-30ocaml-psmt2-frontend: initAlad Wenter