blob: 980116dc96b62d51f5fd9e166281d788f4392da9 (
plain)
1
2
3
4
5
6
7
8
9
10
|
pkg:setup
coqlib = "#{lib}/coq/"
(buildpath/"mathcomp/Makefile.coq.local").write <<~EOS
COQLIB=#{coqlib}
EOS
cd "mathcomp"
make Makefile.coq
make -f Makefile.coq MAKEFLAGS=#{ENV[MAKEFLAGS"]}"
make DESTDIR=${PKG_DEST} install MAKEFLAGS=#{ENV[MAKEFLAGS"]}"
elisp.install "ssreflect/pg-ssr.el"
|
