srcpkgs/coq/template

   1 pkgname=coq
   2 version=8.8.0
   3 revision=1
   4 hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5"
   5 short_desc="Proof assistant written in OCaml"
   6 maintainer="Némo Fournier <nemo@epicea.xyz>"
   7 license="LGPL-2.1"
   8 homepage="https://coq.inria.fr"
   9 distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz"
  10 checksum=caf7c1d39e68e0e41ed92be1d57c88983fb12edb9fa95667a5ad2d6aba98263d
  11 nopie=yes
  12 nocross=yes
  13
  14 do_configure() {
  15         ./configure -prefix ${DESTDIR}/usr -coqide no
  16 }
  17
  18 do_build() {
  19         make
  20 }
  21
  22 do_install() {
  23         make install
  24 }