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