head	1.4;
access;
symbols
	pkgsrc-2026Q1:1.4.0.2
	pkgsrc-2026Q1-base:1.4
	pkgsrc-2025Q4:1.3.0.2
	pkgsrc-2025Q4-base:1.3
	pkgsrc-2025Q3:1.2.0.18
	pkgsrc-2025Q3-base:1.2
	pkgsrc-2025Q2:1.2.0.16
	pkgsrc-2025Q2-base:1.2
	pkgsrc-2025Q1:1.2.0.14
	pkgsrc-2025Q1-base:1.2
	pkgsrc-2024Q4:1.2.0.12
	pkgsrc-2024Q4-base:1.2
	pkgsrc-2024Q3:1.2.0.10
	pkgsrc-2024Q3-base:1.2
	pkgsrc-2024Q2:1.2.0.8
	pkgsrc-2024Q2-base:1.2
	pkgsrc-2024Q1:1.2.0.6
	pkgsrc-2024Q1-base:1.2
	pkgsrc-2023Q4:1.2.0.4
	pkgsrc-2023Q4-base:1.2
	pkgsrc-2023Q3:1.2.0.2
	pkgsrc-2023Q3-base:1.2
	pkgsrc-2023Q2:1.1.0.26
	pkgsrc-2023Q2-base:1.1
	pkgsrc-2023Q1:1.1.0.24
	pkgsrc-2023Q1-base:1.1
	pkgsrc-2022Q4:1.1.0.22
	pkgsrc-2022Q4-base:1.1
	pkgsrc-2022Q3:1.1.0.20
	pkgsrc-2022Q3-base:1.1
	pkgsrc-2022Q2:1.1.0.18
	pkgsrc-2022Q2-base:1.1
	pkgsrc-2022Q1:1.1.0.16
	pkgsrc-2022Q1-base:1.1
	pkgsrc-2021Q4:1.1.0.14
	pkgsrc-2021Q4-base:1.1
	pkgsrc-2021Q3:1.1.0.12
	pkgsrc-2021Q3-base:1.1
	pkgsrc-2021Q2:1.1.0.10
	pkgsrc-2021Q2-base:1.1
	pkgsrc-2021Q1:1.1.0.8
	pkgsrc-2021Q1-base:1.1
	pkgsrc-2020Q4:1.1.0.6
	pkgsrc-2020Q4-base:1.1
	pkgsrc-2020Q3:1.1.0.4
	pkgsrc-2020Q3-base:1.1
	pkgsrc-2020Q2:1.1.0.2
	pkgsrc-2020Q2-base:1.1;
locks; strict;
comment	@# @;


1.4
date	2026.01.09.20.30.29;	author alnsn;	state Exp;
branches;
next	1.3;
commitid	kQ3llxLYAyLP4LpG;

1.3
date	2025.09.27.09.57.27;	author wiz;	state Exp;
branches;
next	1.2;
commitid	GSXfRJoW2938VkcG;

1.2
date	2023.09.01.10.17.26;	author nia;	state Exp;
branches;
next	1.1;
commitid	iwkdgcVQFsXWm3DE;

1.1
date	2020.05.19.21.42.29;	author riastradh;	state Exp;
branches;
next	;
commitid	Q5YsSGRUwgdtJT8C;


desc
@@


1.4
log
@Update math/gappa to version 1.6.1.

Version 1.6.1
-------------

D2 back-end
  * added support for D2 0.6.9; previous versions are no longer supported

Build system
  * fixed compilation with GCC 14

Version 1.6.0
-------------

Fact database
  * fixed `add_flt_lin` and `add_flt_lin_rev`
  * changed some rewriting rules about quotients into rules about `LIN`

Arithmetic
  * removed support for homogeneous and relative rounding functions

Version 1.5.0
-------------

Fact database
  * added predicate `LIN`: `x = y * e`
  * used `LIN(a, b)` for properties of the kind `BND(a / b)`
  * generalized Sterbenz-like theorems
  * specified `x / 0` as being equal to `0`, which removes some `NZR` hypotheses

Syntax
  * added binary operator `//` to denote `LIN` properties

Back-ends
  * added a back-end to produce D2 files

Coq script back-end
  * removed the use of `Notation` as it causes a huge slowdown in the prover

Version 1.4.2
-------------

Build system
  * regenerated using a recent version of Autoconf

Version 1.4.1
-------------

Coq back-end
  * registered a few more theorems

Whole engine
  * fixed crash on negative literals in rewriting rules

Version 1.4.0
-------------

Syntax
  * changed precedence of unary minus,
    e.g., `- 1` is parsed as `-(1)`, `-1*x` as `(-1)*x`,
    `- 1*x` as `-(1*x)`, `-x*1` as `-(x*1)`
  * allowed `;` as a separator for interval bounds, e.g., `[1;2]`
  * allowed `p` as exponent after a decimal integer, e.g., `1p2`

Proof paths
  * decreased amount of pointless lemmas

Documentation
  * moved to reST

Build system
  * added support for DESTDIR during installation

Licensing
  * updated CeCILL from 2.0 to 2.1 and GPL from 2 to 3
@
text
@# $NetBSD: Makefile,v 1.3 2025/09/27 09:57:27 wiz Exp $

DISTNAME=	gappa-1.6.1
CATEGORIES=	math
MASTER_SITES=	https://gappa.gitlabpages.inria.fr/releases/

MAINTAINER=	pkgsrc-users@@NetBSD.org
HOMEPAGE=	http://gappa.gforge.inria.fr/
COMMENT=	Formal verification tool for numerical programs
LICENSE=	cecill-2.1 OR gnu-gpl-v3

GNU_CONFIGURE=	yes
USE_LANGUAGES+=	c c++

FORCE_CXX_STD+=		c++11
USE_CXX_FEATURES+=	c++11

do-build:
	cd ${WRKSRC} && ${PKGSRC_SETENV} ${MAKE_ENV} ./remake -j${_MAKE_JOBS_N}

do-install:
	cd ${WRKSRC} && \
	${PKGSRC_SETENV} ${INSTALL_ENV} ${MAKE_ENV} \
	./remake ${MAKE_FLAGS} ${INSTALL_MAKE_FLAGS} install

do-test:
	cd ${WRKSRC} && \
	${PKGSRC_SETENV} ${TEST_ENV} \
	./remake ${MAKE_FLAGS} ${TEST_MAKE_FLAGS} check

.include "../../devel/boost-headers/buildlink3.mk"
.include "../../devel/gmp/buildlink3.mk"
.include "../../math/mpfr/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
@


1.3
log
@*: recursive bump for boost 1.89
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.2 2023/09/01 10:17:26 nia Exp $
d3 1
a3 2
DISTNAME=	gappa-1.3.5
PKGREVISION=	1
d5 1
a5 1
MASTER_SITES=	https://gforge.inria.fr/frs/download.php/file/38044/
d10 1
a10 1
LICENSE=	cecill-2.0 OR gnu-gpl-v3
@


1.2
log
@gappa: Assumes compiler defaults to C++11.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.1 2020/05/19 21:42:29 riastradh Exp $
d4 1
@


1.1
log
@gappa: Import gappa-1.3.5 as math-gappa

Gappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.
@
text
@d1 1
a1 1
# $NetBSD$
d15 3
@