diff options
author | Alad Wenter | 2019-11-30 19:51:22 +0100 |
---|---|---|
committer | Alad Wenter | 2019-11-30 19:51:22 +0100 |
commit | 0ed30492a16c39c348abdc3b738d1634dafc6194 (patch) | |
tree | 456a5e38ddd44b34c0fd2869ab822d91f6661a20 /.SRCINFO | |
parent | 2504e403ccbe45a791f5af43dae104a8a72d3e4e (diff) | |
download | aur-0ed30492a16c39c348abdc3b738d1634dafc6194.tar.gz |
ocaml-psmt2-frontend: install manually
The Makefile seems to ignore DESTDIR completely. Use manual installation
from earnestly/ocaml-psmt2-frontend-git
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = ocaml-psmt2-frontend pkgdesc = A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language pkgver = 0.2 - pkgrel = 1 + pkgrel = 2 url = https://github.com/Coquera/psmt2-frontend arch = x86_64 license = Apache2 |