head	1.8;
access;
symbols
	pkgsrc-2026Q1:1.8.0.2
	pkgsrc-2026Q1-base:1.8
	pkgsrc-2025Q4:1.7.0.20
	pkgsrc-2025Q4-base:1.7
	pkgsrc-2025Q3:1.7.0.18
	pkgsrc-2025Q3-base:1.7
	pkgsrc-2025Q2:1.7.0.16
	pkgsrc-2025Q2-base:1.7
	pkgsrc-2025Q1:1.7.0.14
	pkgsrc-2025Q1-base:1.7
	pkgsrc-2024Q4:1.7.0.12
	pkgsrc-2024Q4-base:1.7
	pkgsrc-2024Q3:1.7.0.10
	pkgsrc-2024Q3-base:1.7
	pkgsrc-2024Q2:1.7.0.8
	pkgsrc-2024Q2-base:1.7
	pkgsrc-2024Q1:1.7.0.6
	pkgsrc-2024Q1-base:1.7
	pkgsrc-2023Q4:1.7.0.4
	pkgsrc-2023Q4-base:1.7
	pkgsrc-2023Q3:1.7.0.2
	pkgsrc-2023Q3-base:1.7
	pkgsrc-2023Q2:1.6.0.46
	pkgsrc-2023Q2-base:1.6
	pkgsrc-2023Q1:1.6.0.44
	pkgsrc-2023Q1-base:1.6
	pkgsrc-2022Q4:1.6.0.42
	pkgsrc-2022Q4-base:1.6
	pkgsrc-2022Q3:1.6.0.40
	pkgsrc-2022Q3-base:1.6
	pkgsrc-2022Q2:1.6.0.38
	pkgsrc-2022Q2-base:1.6
	pkgsrc-2022Q1:1.6.0.36
	pkgsrc-2022Q1-base:1.6
	pkgsrc-2021Q4:1.6.0.34
	pkgsrc-2021Q4-base:1.6
	pkgsrc-2021Q3:1.6.0.32
	pkgsrc-2021Q3-base:1.6
	pkgsrc-2021Q2:1.6.0.30
	pkgsrc-2021Q2-base:1.6
	pkgsrc-2021Q1:1.6.0.28
	pkgsrc-2021Q1-base:1.6
	pkgsrc-2020Q4:1.6.0.26
	pkgsrc-2020Q4-base:1.6
	pkgsrc-2020Q3:1.6.0.24
	pkgsrc-2020Q3-base:1.6
	pkgsrc-2020Q2:1.6.0.22
	pkgsrc-2020Q2-base:1.6
	pkgsrc-2020Q1:1.6.0.18
	pkgsrc-2020Q1-base:1.6
	pkgsrc-2019Q4:1.6.0.20
	pkgsrc-2019Q4-base:1.6
	pkgsrc-2019Q3:1.6.0.16
	pkgsrc-2019Q3-base:1.6
	pkgsrc-2019Q2:1.6.0.14
	pkgsrc-2019Q2-base:1.6
	pkgsrc-2019Q1:1.6.0.12
	pkgsrc-2019Q1-base:1.6
	pkgsrc-2018Q4:1.6.0.10
	pkgsrc-2018Q4-base:1.6
	pkgsrc-2018Q3:1.6.0.8
	pkgsrc-2018Q3-base:1.6
	pkgsrc-2018Q2:1.6.0.6
	pkgsrc-2018Q2-base:1.6
	pkgsrc-2018Q1:1.6.0.4
	pkgsrc-2018Q1-base:1.6
	pkgsrc-2017Q4:1.6.0.2
	pkgsrc-2017Q4-base:1.6
	pkgsrc-2017Q3:1.4.0.22
	pkgsrc-2017Q3-base:1.4
	pkgsrc-2017Q2:1.4.0.18
	pkgsrc-2017Q2-base:1.4
	pkgsrc-2017Q1:1.4.0.16
	pkgsrc-2017Q1-base:1.4
	pkgsrc-2016Q4:1.4.0.14
	pkgsrc-2016Q4-base:1.4
	pkgsrc-2016Q3:1.4.0.12
	pkgsrc-2016Q3-base:1.4
	pkgsrc-2016Q2:1.4.0.10
	pkgsrc-2016Q2-base:1.4
	pkgsrc-2016Q1:1.4.0.8
	pkgsrc-2016Q1-base:1.4
	pkgsrc-2015Q4:1.4.0.6
	pkgsrc-2015Q4-base:1.4
	pkgsrc-2015Q3:1.4.0.4
	pkgsrc-2015Q3-base:1.4
	pkgsrc-2015Q2:1.4.0.2
	pkgsrc-2015Q2-base:1.4
	pkgsrc-2015Q1:1.3.0.20
	pkgsrc-2015Q1-base:1.3
	pkgsrc-2014Q4:1.3.0.18
	pkgsrc-2014Q4-base:1.3
	pkgsrc-2014Q3:1.3.0.16
	pkgsrc-2014Q3-base:1.3
	pkgsrc-2014Q2:1.3.0.14
	pkgsrc-2014Q2-base:1.3
	pkgsrc-2014Q1:1.3.0.12
	pkgsrc-2014Q1-base:1.3
	pkgsrc-2013Q4:1.3.0.10
	pkgsrc-2013Q4-base:1.3
	pkgsrc-2013Q3:1.3.0.8
	pkgsrc-2013Q3-base:1.3
	pkgsrc-2013Q2:1.3.0.6
	pkgsrc-2013Q2-base:1.3
	pkgsrc-2013Q1:1.3.0.4
	pkgsrc-2013Q1-base:1.3
	pkgsrc-2012Q4:1.3.0.2
	pkgsrc-2012Q4-base:1.3
	pkgsrc-2012Q3:1.2.0.4
	pkgsrc-2012Q3-base:1.2
	pkgsrc-2012Q2:1.2.0.2
	pkgsrc-2012Q2-base:1.2
	pkgsrc-2012Q1:1.1.1.1.0.12
	pkgsrc-2012Q1-base:1.1.1.1
	pkgsrc-2011Q4:1.1.1.1.0.10
	pkgsrc-2011Q4-base:1.1.1.1
	pkgsrc-2011Q3:1.1.1.1.0.8
	pkgsrc-2011Q3-base:1.1.1.1
	pkgsrc-2011Q2:1.1.1.1.0.6
	pkgsrc-2011Q2-base:1.1.1.1
	pkgsrc-2011Q1:1.1.1.1.0.4
	pkgsrc-2011Q1-base:1.1.1.1
	pkgsrc-2010Q4:1.1.1.1.0.2
	pkgsrc-2010Q4-base:1.1.1.1
	pkgsrc-base:1.1.1.1
	TNF:1.1.1;
locks; strict;
comment	@# @;


1.8
date	2026.02.09.07.13.13;	author wiz;	state Exp;
branches;
next	1.7;
commitid	ahnMfXHXDqX7GFtG;

1.7
date	2023.07.11.11.07.05;	author wiz;	state Exp;
branches;
next	1.6;
commitid	857z5vs31QJqjnwE;

1.6
date	2017.12.10.14.02.33;	author adam;	state Exp;
branches;
next	1.5;
commitid	zGMPM86wt4SfPliA;

1.5
date	2017.12.10.13.56.34;	author adam;	state Exp;
branches;
next	1.4;
commitid	O0Nw5lfOBH5bNliA;

1.4
date	2015.04.18.20.41.10;	author joerg;	state Exp;
branches;
next	1.3;
commitid	fdwVTYFiSlAd77iy;

1.3
date	2012.10.31.11.19.47;	author asau;	state Exp;
branches
	1.3.20.1;
next	1.2;

1.2
date	2012.06.18.03.42.25;	author dholland;	state Exp;
branches;
next	1.1;

1.1
date	2010.10.24.18.54.12;	author agc;	state Exp;
branches
	1.1.1.1;
next	;

1.3.20.1
date	2015.04.18.22.13.47;	author tron;	state Exp;
branches;
next	;
commitid	GZ3xvMwJgFH1D7iy;

1.1.1.1
date	2010.10.24.18.54.12;	author agc;	state Exp;
branches;
next	;


desc
@@


1.8
log
@spin: switch to https
@
text
@# $NetBSD: Makefile,v 1.7 2023/07/11 11:07:05 wiz Exp $

DISTNAME=	spin-6.5.2
CATEGORIES=	devel
MASTER_SITES=	${MASTER_SITE_GITHUB:=nimble-code/}
GITHUB_PROJECT=	Spin
GITHUB_TAG=	version-${PKGVERSION_NOREV}

MAINTAINER=	agc@@NetBSD.org
HOMEPAGE=	https://spinroot.com/spin/whatispin.html
COMMENT=	Tool for formal verification of multi-threaded software applications
LICENSE=	modified-bsd

WRKSRC=		${WRKDIR}/Spin-${GITHUB_TAG}
USE_TOOLS+=	pax yacc
MAKE_FILE=	makefile
MAKE_FLAGS=	CC=${CC:Q}

INSTALLATION_DIRS=	bin ${PKGMANDIR}/man1 share/examples/spin

do-install:
	${INSTALL_PROGRAM} ${WRKSRC}/Src/spin ${DESTDIR}${PREFIX}/bin
	${INSTALL_MAN} ${WRKSRC}/Man/spin.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/spin.1
	cd ${WRKSRC}/Examples && ${PAX} -pp -rw * ${DESTDIR}${PREFIX}/share/examples/spin

.include "../../mk/bsd.pkg.mk"
@


1.7
log
@spin: update to 6.5.2.

No changelog found, couple of years of development.

pkgsrc change: Install examples.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.6 2017/12/10 14:02:33 adam Exp $
d10 1
a10 1
HOMEPAGE=	http://spinroot.com/spin/whatispin.html
@


1.6
log
@removed spin-license

On 30 December 2015 Alcatel-Lucent (the company that inherited Bell Laboratories from AT&T in the trivestiture from 1996) transfered the copyright to all sources to Gerard Holzmann, explicitly to enable a standard open source release under the BSD 3-Clause license. Starting with Spin Version 6.4.5 all Spin code, sources and executables, are now available under the BSD 3-Clause license.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.5 2017/12/10 13:56:34 adam Exp $
d3 1
a3 2
DISTNAME=	spin647
PKGNAME=	spin-6.4.7
d5 3
a7 1
MASTER_SITES=	http://spinroot.com/spin/Src/
d11 1
a11 1
COMMENT=	Formal correctness prover
d14 2
a15 2
WRKSRC=		${WRKDIR}/Spin/Src${PKGVERSION_NOREV}
USE_TOOLS+=	yacc
a17 1
BUILD_TARGET=	spin
d19 1
a19 1
INSTALLATION_DIRS=	bin ${PKGMANDIR}/man1
d22 3
a24 2
	${INSTALL_PROGRAM} ${WRKSRC}/spin ${DESTDIR}${PREFIX}/bin/spin
	${INSTALL_MAN} ${WRKDIR}/Spin/Man/spin.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/spin.1
@


1.5
log
@spin: updated to 6.4.7

Version 6.4.7:
- fixed a bug in the parsing of for (...) statements if
  initialized variable declarations appear in the body of the loop
- optimization in interpreting the swarm option, by avoiding
  unnecessary recompilations, plus other small fixes in the
  generation of parameter values for -k and -w with swarms
- added runtime option -W to suppress recompilation of pan if
  the executable already exists
- fixed bug in printing the value of a random seed at the end of
  a randomized run
- added compilation warning if both -DNP and -DNOCLAIM are used
  (in that case -DNP is assumed to override -DNOCLAIM)
- fixed a bug in the parsing of select (...) statements that could
  cause unwarranted syntax errors when larger ranges are used
- switched to executables for Windows PCs that do not require
  a cygwin installation (using mingw32 and mingw64 bit compilations)
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.4 2015/04/18 20:41:10 joerg Exp $
d11 1
a11 1
LICENSE=	spin-license
@


1.4
log
@Not MAKE_JOBS_SAFE.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.3 2012/10/31 11:19:47 asau Exp $
d3 2
a4 2
DISTNAME=	spin525
PKGNAME=	spin-5.2.5
d13 1
a13 6
# yacc output used without dependency
MAKE_JOBS_SAFE=	no

INSTALLATION_DIRS=	bin ${PKGMANDIR}/man1

WRKSRC=		${WRKDIR}/Spin/Src5.2.5
d16 1
d19 2
@


1.3
log
@Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.2 2012/06/18 03:42:25 dholland Exp $
d13 3
@


1.3.20.1
log
@Pullup ticket #4671 - requested by joerg
devel/spin: build fix

Revisions pulled up:
- devel/spin/Makefile                                           1.4

---
   Module Name:	pkgsrc
   Committed By:	joerg
   Date:		Sat Apr 18 20:41:10 UTC 2015

   Modified Files:
   	pkgsrc/devel/spin: Makefile

   Log Message:
   Not MAKE_JOBS_SAFE.
@
text
@d1 1
a1 1
# $NetBSD$
a12 3
# yacc output used without dependency
MAKE_JOBS_SAFE=	no

@


1.2
log
@Needs yacc; seen in the Linux build report.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.1.1.1 2010/10/24 18:54:12 agc Exp $
a12 1
PKG_DESTDIR_SUPPORT=	user-destdir
@


1.1
log
@Initial revision
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.70 2008/04/12 22:42:59 jlam Exp $
d17 1
@


1.1.1.1
log
@Initial import of spin version 5.2.5 into the Packages Collection.

	To verify a design, a formal model is built using PROMELA, Spin's
	input language.  PROMELA is a non-deterministic language, loosely
	based on Dijkstra's guarded command language notation and borrowing
	the notation for I/O operations from Hoare's CSP language.

	Spin can be used in four main modes:

	1.  as a simulator, allowing for rapid prototyping with a random,
	guided, or interactive simulations

	2.  as an exhaustive verifier, capable of rigorously proving the
	validity of user specified correctness requirements (using partial
	order reduction theory to optimize the search)

	3.  as proof approximation system that can validate even very large
	system models with maximal coverage of the state space.

	4.  as a driver for swarm verification (a new form of swarm
	computing), which can make optimal use of large numbers of available
	compute cores to leverage parallelism and search diversification
	techniques, which increases the chance of locating defects in very
	large verification models.

With thanks to the plan9 guys for the nudge
@
text
@@