From owner-freebsd-ports-bugs@FreeBSD.ORG Wed Sep 20 00:20:23 2006 Return-Path: X-Original-To: freebsd-ports-bugs@hub.freebsd.org Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id A9E1B16A40F for ; Wed, 20 Sep 2006 00:20:23 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id 8059643D4C for ; Wed, 20 Sep 2006 00:20:21 +0000 (GMT) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.4/8.13.4) with ESMTP id k8K0KLl6062962 for ; Wed, 20 Sep 2006 00:20:21 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.4/8.13.4/Submit) id k8K0KLe8062961; Wed, 20 Sep 2006 00:20:21 GMT (envelope-from gnats) Resent-Date: Wed, 20 Sep 2006 00:20:21 GMT Resent-Message-Id: <200609200020.k8K0KLe8062961@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Li-Wen Hsu Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id A821D16A417 for ; Wed, 20 Sep 2006 00:13:47 +0000 (UTC) (envelope-from lwhsu@lwhsu.ckefgisc.org) Received: from knight.lwhsu.ckefgisc.org (lwhsu.Dorm7.NCTU.edu.tw [140.113.89.98]) by mx1.FreeBSD.org (Postfix) with ESMTP id D5F0543D79 for ; Wed, 20 Sep 2006 00:13:33 +0000 (GMT) (envelope-from lwhsu@lwhsu.ckefgisc.org) Received: from localhost (localhost.lwhsu.ckefgisc.org [127.0.0.1]) by knight.lwhsu.ckefgisc.org (Postfix) with ESMTP id 66EFDB8A9; Wed, 20 Sep 2006 08:13:24 +0800 (CST) Received: from knight.lwhsu.ckefgisc.org ([127.0.0.1]) by localhost (knight.lwhsu.ckefgisc.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id maITn4LsIZ3l; Wed, 20 Sep 2006 08:13:06 +0800 (CST) Received: by knight.lwhsu.ckefgisc.org (Postfix, from userid 65534) id 04C17BB19; Wed, 20 Sep 2006 08:13:04 +0800 (CST) Received: from knight.lwhsu.ckefgisc.org (localhost.lwhsu.ckefgisc.org [127.0.0.1]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by knight.lwhsu.ckefgisc.org (Postfix) with ESMTP id 90F02B998; Wed, 20 Sep 2006 08:13:03 +0800 (CST) Received: (from lwhsu@localhost) by knight.lwhsu.ckefgisc.org (8.13.8/8.13.6/Submit) id k8K0D2AL055180; Wed, 20 Sep 2006 08:13:02 +0800 (CST) (envelope-from lwhsu) Message-Id: <200609200013.k8K0D2AL055180@knight.lwhsu.ckefgisc.org> Date: Wed, 20 Sep 2006 08:13:02 +0800 (CST) From: Li-Wen Hsu To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Cc: lwhsu@lwhsu.org Subject: ports/103412: [NEW PORT] math/cvcl: An automatic theorem prover for the SMT problem X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 20 Sep 2006 00:20:23 -0000 >Number: 103412 >Category: ports >Synopsis: [NEW PORT] math/cvcl: An automatic theorem prover for the SMT problem >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Wed Sep 20 00:20:20 GMT 2006 >Closed-Date: >Last-Modified: >Originator: Li-Wen Hsu >Release: FreeBSD 6.1-STABLE i386 >Organization: >Environment: System: FreeBSD knight.lwhsu.ckefgisc.org 6.1-STABLE FreeBSD 6.1-STABLE #0: Thu Sep 7 14:15:03 CST >Description: CVC Lite is an automatic theorem prover for the Satisfiability Modulo Theories (SMT) problem. Its features include: support for a variety of theories; interactive as well as C and C++ library interfaces; proof and model generation abilities; predicate subtyping; and suppport for quantifiers. In addition, there are essentially no limits on its use for research or commercial purposes (see license). WWW: http://www.cs.nyu.edu/acsys/cvcl/ Generated with FreeBSD Port Tools 0.77 >How-To-Repeat: >Fix: --- cvcl-2.5.1.shar begins here --- # This is a shell archive. Save it in a file, remove anything before # this line, and then unpack it by entering "sh file". Note, it may # create directories; files and directories will be owned by you and # have default permissions. # # This archive contains: # # cvcl # cvcl/pkg-descr # cvcl/Makefile # cvcl/pkg-plist # cvcl/distinfo # echo c - cvcl mkdir -p cvcl > /dev/null 2>&1 echo x - cvcl/pkg-descr sed 's/^X//' >cvcl/pkg-descr << 'END-of-cvcl/pkg-descr' XCVC Lite is an automatic theorem prover for the Satisfiability Modulo XTheories (SMT) problem. Its features include: support for a variety of Xtheories; interactive as well as C and C++ library interfaces; proof and Xmodel generation abilities; predicate subtyping; and suppport for quantifiers. XIn addition, there are essentially no limits on its use for research or Xcommercial purposes (see license). X XWWW: http://www.cs.nyu.edu/acsys/cvcl/ END-of-cvcl/pkg-descr echo x - cvcl/Makefile sed 's/^X//' >cvcl/Makefile << 'END-of-cvcl/Makefile' X# New ports collection makefile for: cvcl X# Date created: 2006-09-15 X# Whom: Li-wen Hsu X# X# $FreeBSD$ X# X XPORTNAME= cvcl XPORTVERSION= 2.5.1 XCATEGORIES= math XMASTER_SITES= http://www.cs.nyu.edu/acsys/cvcl/download/ X XMAINTAINER= lwhsu@lwhsu.org XCOMMENT= An automatic theorem prover for the SMT problem X XLIB_DEPENDS= gmp.7:${PORTSDIR}/math/libgmp4 X XUSE_GMAKE= yes XUSE_BISON= yes XUSE_LDCONFIG= yes X XGNU_CONFIGURE= yes XCONFIGURE_ARGS= --with-arith=gmp \ X --with-extra-libs=${LOCALBASE}/lib \ X --with-extra-includes=${LOCALBASE}/include \ X --with-build=optimized X XWRKSRC= ${WRKDIR}/cvcl-20060527 X X.include END-of-cvcl/Makefile echo x - cvcl/pkg-plist sed 's/^X//' >cvcl/pkg-plist << 'END-of-cvcl/pkg-plist' Xbin/cvcl Xinclude/cvcl/assumptions.h Xinclude/cvcl/assumptions_value.h Xinclude/cvcl/c_interface.h Xinclude/cvcl/c_interface_defs.h Xinclude/cvcl/cdflags.h Xinclude/cvcl/cdlist.h Xinclude/cvcl/cdmap.h Xinclude/cvcl/cdmap_ordered.h Xinclude/cvcl/cdo.h Xinclude/cvcl/circuit.h Xinclude/cvcl/clause.h Xinclude/cvcl/cnf.h Xinclude/cvcl/cnf_manager.h Xinclude/cvcl/command_line_exception.h Xinclude/cvcl/command_line_flags.h Xinclude/cvcl/common_proof_rules.h Xinclude/cvcl/compat_hash_map.h Xinclude/cvcl/compat_hash_set.h Xinclude/cvcl/context.h Xinclude/cvcl/cvclutil.h Xinclude/cvcl/debug.h Xinclude/cvcl/dpllt.h Xinclude/cvcl/dpllt_basic.h Xinclude/cvcl/eval_exception.h Xinclude/cvcl/exception.h Xinclude/cvcl/expr.h Xinclude/cvcl/expr_hash.h Xinclude/cvcl/expr_manager.h Xinclude/cvcl/expr_map.h Xinclude/cvcl/expr_op.h Xinclude/cvcl/expr_stream.h Xinclude/cvcl/expr_transform.h Xinclude/cvcl/expr_value.h Xinclude/cvcl/fdstream.h Xinclude/cvcl/kinds.h Xinclude/cvcl/lang.h Xinclude/cvcl/memory_manager.h Xinclude/cvcl/memory_manager_chunks.h Xinclude/cvcl/memory_manager_malloc.h Xinclude/cvcl/notifylist.h Xinclude/cvcl/parser.h Xinclude/cvcl/proof.h Xinclude/cvcl/rational.h Xinclude/cvcl/parser_exception.h Xinclude/cvcl/pretty_printer.h Xinclude/cvcl/queryresult.h Xinclude/cvcl/sat_api.h Xinclude/cvcl/search.h Xinclude/cvcl/search_impl_base.h Xinclude/cvcl/search_sat.h Xinclude/cvcl/search_simple.h Xinclude/cvcl/search_fast.h Xinclude/cvcl/smartcdo.h Xinclude/cvcl/smtlib_exception.h Xinclude/cvcl/sound_exception.h Xinclude/cvcl/statistics.h Xinclude/cvcl/theorem.h Xinclude/cvcl/theorem_manager.h Xinclude/cvcl/theorem_producer.h Xinclude/cvcl/theory_arith.h Xinclude/cvcl/theory_array.h Xinclude/cvcl/theory_bitvector.h Xinclude/cvcl/theory_core.h Xinclude/cvcl/type.h Xinclude/cvcl/theory_datatype.h Xinclude/cvcl/theory_datatype_lazy.h Xinclude/cvcl/theory.h Xinclude/cvcl/theory_quant.h Xinclude/cvcl/theory_records.h Xinclude/cvcl/theory_simulate.h Xinclude/cvcl/theory_uf.h Xinclude/cvcl/translator.h Xinclude/cvcl/typecheck_exception.h Xinclude/cvcl/variable.h Xinclude/cvcl/vc_cmd.h Xinclude/cvcl/vc.h Xinclude/cvcl/vcl.h Xlib/libcvclite.a Xlib/libcvclite.so X@dirrm include/cvcl END-of-cvcl/pkg-plist echo x - cvcl/distinfo sed 's/^X//' >cvcl/distinfo << 'END-of-cvcl/distinfo' XMD5 (cvcl-2.5.1.tar.gz) = c41afb57e90438efa6e7360e330039f4 XSHA256 (cvcl-2.5.1.tar.gz) = a1a008816c170f3ddea6f513c6bbf11ed10f155b55431284ebad97dd26e61772 XSIZE (cvcl-2.5.1.tar.gz) = 689957 END-of-cvcl/distinfo exit --- cvcl-2.5.1.shar ends here --- >Release-Note: >Audit-Trail: >Unformatted: