pkgsrc-Changes-HG archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

[pkgsrc/trunk]: pkgsrc/lang/coq Updated package lang/coq to version 8.8.1.



details:   https://anonhg.NetBSD.org/pkgsrc/rev/fadde75896b9
branches:  trunk
changeset: 311134:fadde75896b9
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Thu Aug 02 12:57:03 2018 +0000

description:
Updated package lang/coq to version 8.8.1.

The list of improvements, additions, bugfixes and so on is quite large;
those interested can refer to the CHANGES file in the distribution.

The reference manual has been fully ported to Sphinx.

diffstat:

 lang/coq/Makefile   |   14 +-
 lang/coq/PLIST      |  551 +++++++++++++++++++++++++++++++++++++--------------
 lang/coq/distinfo   |   10 +-
 lang/coq/options.mk |   54 ++--
 4 files changed, 437 insertions(+), 192 deletions(-)

diffs (truncated from 1033 to 300 lines):

diff -r 6a3fbd47cb79 -r fadde75896b9 lang/coq/Makefile
--- a/lang/coq/Makefile Thu Aug 02 12:28:53 2018 +0000
+++ b/lang/coq/Makefile Thu Aug 02 12:57:03 2018 +0000
@@ -1,8 +1,7 @@
-# $NetBSD: Makefile,v 1.111 2018/07/20 03:34:17 ryoon Exp $
+# $NetBSD: Makefile,v 1.112 2018/08/02 12:57:03 jaapb Exp $
 #
 
-DISTNAME=      coq-8.7.2
-PKGREVISION=   4
+DISTNAME=      coq-8.8.1
 CATEGORIES=    lang math
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=coq/}
 GITHUB_TAG=    V${PKGVERSION_NOREV}
@@ -55,11 +54,14 @@
 .include "../../lang/python/pyversion.mk"
 
 REPLACE_SH=    configure install.sh
-REPLACE_INTERPRETER+=  python
+REPLACE_INTERPRETER+=  python2 python
 REPLACE.python.old=    python
 REPLACE.python.new=    ${PYTHONBIN}
-REPLACE_FILES.python=  tools/TimeFileMaker.py \
-       tools/make-both-single-timing-files.py \
+REPLACE_FILES.python=  tools/TimeFileMaker.py
+
+REPLACE.python2.old=   python2
+REPLACE.python2.new=   ${PYTHONBIN}
+REPLACE_FILES.python2= tools/make-both-single-timing-files.py \
        tools/make-both-time-files.py \
        tools/make-one-time-file.py
 
diff -r 6a3fbd47cb79 -r fadde75896b9 lang/coq/PLIST
--- a/lang/coq/PLIST    Thu Aug 02 12:28:53 2018 +0000
+++ b/lang/coq/PLIST    Thu Aug 02 12:57:03 2018 +0000
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.27 2018/06/16 10:25:51 markd Exp $
+@comment $NetBSD: PLIST,v 1.28 2018/08/02 12:57:03 jaapb Exp $
 bin/coq-tex
 bin/coq_makefile
 bin/coqc
@@ -6,12 +6,82 @@
 bin/coqdep
 bin/coqdoc
 ${PLIST.coqide}bin/coqide
-bin/coqmktop
 bin/coqtop
 bin/coqwc
 bin/coqworkmgr
 bin/gallina
 lib/coq/META
+lib/coq/clib/backtrace.cmi
+${PLIST.ocaml-opt}lib/coq/clib/backtrace.cmx
+lib/coq/clib/bigint.cmi
+${PLIST.ocaml-opt}lib/coq/clib/bigint.cmx
+lib/coq/clib/cArray.cmi
+${PLIST.ocaml-opt}lib/coq/clib/cArray.cmx
+lib/coq/clib/cEphemeron.cmi
+${PLIST.ocaml-opt}lib/coq/clib/cEphemeron.cmx
+lib/coq/clib/cList.cmi
+${PLIST.ocaml-opt}lib/coq/clib/cList.cmx
+lib/coq/clib/cMap.cmi
+${PLIST.ocaml-opt}lib/coq/clib/cMap.cmx
+lib/coq/clib/cObj.cmi
+${PLIST.ocaml-opt}lib/coq/clib/cObj.cmx
+lib/coq/clib/cSet.cmi
+${PLIST.ocaml-opt}lib/coq/clib/cSet.cmx
+lib/coq/clib/cSig.cmi
+lib/coq/clib/cStack.cmi
+${PLIST.ocaml-opt}lib/coq/clib/cStack.cmx
+lib/coq/clib/cString.cmi
+${PLIST.ocaml-opt}lib/coq/clib/cString.cmx
+lib/coq/clib/cThread.cmi
+${PLIST.ocaml-opt}lib/coq/clib/cThread.cmx
+lib/coq/clib/cUnix.cmi
+${PLIST.ocaml-opt}lib/coq/clib/cUnix.cmx
+lib/coq/clib/canary.cmi
+${PLIST.ocaml-opt}lib/coq/clib/canary.cmx
+${PLIST.ocaml-opt}lib/coq/clib/clib.a
+${PLIST.ocaml-opt}lib/coq/clib/clib.cmxa
+lib/coq/clib/dyn.cmi
+${PLIST.ocaml-opt}lib/coq/clib/dyn.cmx
+lib/coq/clib/exninfo.cmi
+${PLIST.ocaml-opt}lib/coq/clib/exninfo.cmx
+lib/coq/clib/hMap.cmi
+${PLIST.ocaml-opt}lib/coq/clib/hMap.cmx
+lib/coq/clib/hashcons.cmi
+${PLIST.ocaml-opt}lib/coq/clib/hashcons.cmx
+lib/coq/clib/hashset.cmi
+${PLIST.ocaml-opt}lib/coq/clib/hashset.cmx
+lib/coq/clib/heap.cmi
+${PLIST.ocaml-opt}lib/coq/clib/heap.cmx
+lib/coq/clib/iStream.cmi
+${PLIST.ocaml-opt}lib/coq/clib/iStream.cmx
+lib/coq/clib/int.cmi
+${PLIST.ocaml-opt}lib/coq/clib/int.cmx
+lib/coq/clib/minisys.cmi
+${PLIST.ocaml-opt}lib/coq/clib/minisys.cmx
+lib/coq/clib/monad.cmi
+${PLIST.ocaml-opt}lib/coq/clib/monad.cmx
+lib/coq/clib/option.cmi
+${PLIST.ocaml-opt}lib/coq/clib/option.cmx
+lib/coq/clib/orderedType.cmi
+${PLIST.ocaml-opt}lib/coq/clib/orderedType.cmx
+lib/coq/clib/predicate.cmi
+${PLIST.ocaml-opt}lib/coq/clib/predicate.cmx
+lib/coq/clib/range.cmi
+${PLIST.ocaml-opt}lib/coq/clib/range.cmx
+lib/coq/clib/segmenttree.cmi
+${PLIST.ocaml-opt}lib/coq/clib/segmenttree.cmx
+lib/coq/clib/store.cmi
+${PLIST.ocaml-opt}lib/coq/clib/store.cmx
+lib/coq/clib/terminal.cmi
+${PLIST.ocaml-opt}lib/coq/clib/terminal.cmx
+lib/coq/clib/trie.cmi
+${PLIST.ocaml-opt}lib/coq/clib/trie.cmx
+lib/coq/clib/unicode.cmi
+${PLIST.ocaml-opt}lib/coq/clib/unicode.cmx
+lib/coq/clib/unicodetable.cmi
+${PLIST.ocaml-opt}lib/coq/clib/unicodetable.cmx
+lib/coq/clib/unionfind.cmi
+${PLIST.ocaml-opt}lib/coq/clib/unionfind.cmx
 lib/coq/config/coq_config.cmi
 ${PLIST.ocaml-opt}lib/coq/config/coq_config.cmx
 lib/coq/engine/eConstr.cmi
@@ -24,12 +94,12 @@
 ${PLIST.ocaml-opt}lib/coq/engine/evd.cmx
 lib/coq/engine/ftactic.cmi
 ${PLIST.ocaml-opt}lib/coq/engine/ftactic.cmx
-lib/coq/engine/geninterp.cmi
-${PLIST.ocaml-opt}lib/coq/engine/geninterp.cmx
 lib/coq/engine/logic_monad.cmi
 ${PLIST.ocaml-opt}lib/coq/engine/logic_monad.cmx
 lib/coq/engine/namegen.cmi
 ${PLIST.ocaml-opt}lib/coq/engine/namegen.cmx
+lib/coq/engine/nameops.cmi
+${PLIST.ocaml-opt}lib/coq/engine/nameops.cmx
 lib/coq/engine/proofview.cmi
 ${PLIST.ocaml-opt}lib/coq/engine/proofview.cmx
 lib/coq/engine/proofview_monad.cmi
@@ -40,6 +110,8 @@
 ${PLIST.ocaml-opt}lib/coq/engine/uState.cmx
 lib/coq/engine/universes.cmi
 ${PLIST.ocaml-opt}lib/coq/engine/universes.cmx
+lib/coq/engine/univops.cmi
+${PLIST.ocaml-opt}lib/coq/engine/univops.cmx
 lib/coq/grammar/grammar.cma
 lib/coq/grammar/q_util.cmi
 ${PLIST.coqide}lib/coq/ide/config_lexer.cmi
@@ -74,6 +146,7 @@
 ${PLIST.coqide}lib/coq/ide/wg_MessageView.cmi
 ${PLIST.coqide}lib/coq/ide/wg_Notebook.cmi
 ${PLIST.coqide}lib/coq/ide/wg_ProofView.cmi
+${PLIST.coqide}lib/coq/ide/wg_RoutedMessageViews.cmi
 ${PLIST.coqide}lib/coq/ide/wg_ScriptView.cmi
 ${PLIST.coqide}lib/coq/ide/wg_Segment.cmi
 ${PLIST.coqide}lib/coq/ide/xml_lexer.cmi
@@ -88,6 +161,8 @@
 ${PLIST.ocaml-opt}lib/coq/interp/constrintern.cmx
 lib/coq/interp/declare.cmi
 ${PLIST.ocaml-opt}lib/coq/interp/declare.cmx
+lib/coq/interp/discharge.cmi
+${PLIST.ocaml-opt}lib/coq/interp/discharge.cmx
 lib/coq/interp/dumpglob.cmi
 ${PLIST.ocaml-opt}lib/coq/interp/dumpglob.cmx
 lib/coq/interp/genintern.cmi
@@ -114,6 +189,8 @@
 ${PLIST.ocaml-opt}lib/coq/interp/stdarg.cmx
 lib/coq/interp/syntax_def.cmi
 ${PLIST.ocaml-opt}lib/coq/interp/syntax_def.cmx
+lib/coq/interp/tactypes.cmi
+${PLIST.ocaml-opt}lib/coq/interp/tactypes.cmx
 lib/coq/interp/topconstr.cmi
 ${PLIST.ocaml-opt}lib/coq/interp/topconstr.cmx
 lib/coq/intf/constrexpr.cmi
@@ -138,20 +215,23 @@
 ${PLIST.ocaml-opt}lib/coq/intf/notation_term.cmx
 lib/coq/intf/pattern.cmi
 ${PLIST.ocaml-opt}lib/coq/intf/pattern.cmx
-lib/coq/intf/tactypes.cmi
-${PLIST.ocaml-opt}lib/coq/intf/tactypes.cmx
 lib/coq/intf/vernacexpr.cmi
 ${PLIST.ocaml-opt}lib/coq/intf/vernacexpr.cmx
 lib/coq/kernel/byterun/dllcoqrun.so
 ${PLIST.ocaml-opt}lib/coq/kernel/byterun/libcoqrun.a
 lib/coq/kernel/cClosure.cmi
 ${PLIST.ocaml-opt}lib/coq/kernel/cClosure.cmx
+lib/coq/kernel/cPrimitives.cmi
+${PLIST.ocaml-opt}lib/coq/kernel/cPrimitives.cmx
 lib/coq/kernel/cbytecodes.cmi
 ${PLIST.ocaml-opt}lib/coq/kernel/cbytecodes.cmx
 lib/coq/kernel/cbytegen.cmi
 ${PLIST.ocaml-opt}lib/coq/kernel/cbytegen.cmx
 lib/coq/kernel/cemitcodes.cmi
 ${PLIST.ocaml-opt}lib/coq/kernel/cemitcodes.cmx
+lib/coq/kernel/cinstr.cmi
+lib/coq/kernel/clambda.cmi
+${PLIST.ocaml-opt}lib/coq/kernel/clambda.cmx
 lib/coq/kernel/constr.cmi
 ${PLIST.ocaml-opt}lib/coq/kernel/constr.cmx
 lib/coq/kernel/context.cmi
@@ -169,6 +249,7 @@
 lib/coq/kernel/declareops.cmi
 ${PLIST.ocaml-opt}lib/coq/kernel/declareops.cmx
 lib/coq/kernel/entries.cmi
+${PLIST.ocaml-opt}lib/coq/kernel/entries.cmx
 lib/coq/kernel/environ.cmi
 ${PLIST.ocaml-opt}lib/coq/kernel/environ.cmx
 lib/coq/kernel/esubst.cmi
@@ -206,8 +287,6 @@
 ${PLIST.ocaml-opt}lib/coq/kernel/opaqueproof.cmx
 lib/coq/kernel/pre_env.cmi
 ${PLIST.ocaml-opt}lib/coq/kernel/pre_env.cmx
-lib/coq/kernel/primitives.cmi
-${PLIST.ocaml-opt}lib/coq/kernel/primitives.cmx
 lib/coq/kernel/reduction.cmi
 ${PLIST.ocaml-opt}lib/coq/kernel/reduction.cmx
 lib/coq/kernel/retroknowledge.cmi
@@ -238,55 +317,26 @@
 ${PLIST.ocaml-opt}lib/coq/kernel/vconv.cmx
 lib/coq/kernel/vm.cmi
 ${PLIST.ocaml-opt}lib/coq/kernel/vm.cmx
+lib/coq/kernel/vmvalues.cmi
+${PLIST.ocaml-opt}lib/coq/kernel/vmvalues.cmx
 lib/coq/lib/aux_file.cmi
 ${PLIST.ocaml-opt}lib/coq/lib/aux_file.cmx
-lib/coq/lib/backtrace.cmi
-${PLIST.ocaml-opt}lib/coq/lib/backtrace.cmx
-lib/coq/lib/bigint.cmi
-${PLIST.ocaml-opt}lib/coq/lib/bigint.cmx
-lib/coq/lib/cArray.cmi
-${PLIST.ocaml-opt}lib/coq/lib/cArray.cmx
 lib/coq/lib/cAst.cmi
 ${PLIST.ocaml-opt}lib/coq/lib/cAst.cmx
-lib/coq/lib/cEphemeron.cmi
-${PLIST.ocaml-opt}lib/coq/lib/cEphemeron.cmx
 lib/coq/lib/cErrors.cmi
 ${PLIST.ocaml-opt}lib/coq/lib/cErrors.cmx
-lib/coq/lib/cList.cmi
-${PLIST.ocaml-opt}lib/coq/lib/cList.cmx
-lib/coq/lib/cMap.cmi
-${PLIST.ocaml-opt}lib/coq/lib/cMap.cmx
-lib/coq/lib/cObj.cmi
-${PLIST.ocaml-opt}lib/coq/lib/cObj.cmx
-lib/coq/lib/cSet.cmi
-${PLIST.ocaml-opt}lib/coq/lib/cSet.cmx
-lib/coq/lib/cSig.cmi
-lib/coq/lib/cStack.cmi
-${PLIST.ocaml-opt}lib/coq/lib/cStack.cmx
-lib/coq/lib/cString.cmi
-${PLIST.ocaml-opt}lib/coq/lib/cString.cmx
-lib/coq/lib/cThread.cmi
-${PLIST.ocaml-opt}lib/coq/lib/cThread.cmx
-lib/coq/lib/cUnix.cmi
-${PLIST.ocaml-opt}lib/coq/lib/cUnix.cmx
+lib/coq/lib/cProfile.cmi
+${PLIST.ocaml-opt}lib/coq/lib/cProfile.cmx
 lib/coq/lib/cWarnings.cmi
 ${PLIST.ocaml-opt}lib/coq/lib/cWarnings.cmx
-lib/coq/lib/canary.cmi
-${PLIST.ocaml-opt}lib/coq/lib/canary.cmx
-${PLIST.ocaml-opt}lib/coq/lib/clib.a
-${PLIST.ocaml-opt}lib/coq/lib/clib.cmxa
 lib/coq/lib/control.cmi
 ${PLIST.ocaml-opt}lib/coq/lib/control.cmx
 lib/coq/lib/coqProject_file.cmi
 ${PLIST.ocaml-opt}lib/coq/lib/coqProject_file.cmx
-lib/coq/lib/deque.cmi
-${PLIST.ocaml-opt}lib/coq/lib/deque.cmx
-lib/coq/lib/dyn.cmi
-${PLIST.ocaml-opt}lib/coq/lib/dyn.cmx
+lib/coq/lib/dAst.cmi
+${PLIST.ocaml-opt}lib/coq/lib/dAst.cmx
 lib/coq/lib/envars.cmi
 ${PLIST.ocaml-opt}lib/coq/lib/envars.cmx
-lib/coq/lib/exninfo.cmi
-${PLIST.ocaml-opt}lib/coq/lib/exninfo.cmx
 lib/coq/lib/explore.cmi
 ${PLIST.ocaml-opt}lib/coq/lib/explore.cmx
 lib/coq/lib/feedback.cmi
@@ -297,60 +347,24 @@
 ${PLIST.ocaml-opt}lib/coq/lib/future.cmx
 lib/coq/lib/genarg.cmi
 ${PLIST.ocaml-opt}lib/coq/lib/genarg.cmx
-lib/coq/lib/hMap.cmi
-${PLIST.ocaml-opt}lib/coq/lib/hMap.cmx
-lib/coq/lib/hashcons.cmi
-${PLIST.ocaml-opt}lib/coq/lib/hashcons.cmx
-lib/coq/lib/hashset.cmi
-${PLIST.ocaml-opt}lib/coq/lib/hashset.cmx
-lib/coq/lib/heap.cmi
-${PLIST.ocaml-opt}lib/coq/lib/heap.cmx
 lib/coq/lib/hook.cmi
 ${PLIST.ocaml-opt}lib/coq/lib/hook.cmx
-lib/coq/lib/iStream.cmi
-${PLIST.ocaml-opt}lib/coq/lib/iStream.cmx
-lib/coq/lib/int.cmi
-${PLIST.ocaml-opt}lib/coq/lib/int.cmx
 ${PLIST.ocaml-opt}lib/coq/lib/lib.a
 ${PLIST.ocaml-opt}lib/coq/lib/lib.cmxa



Home | Main Index | Thread Index | Old Index