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"