wip version, see TODO

[mayuresh <mayuresh%acm.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	mayuresh <mayuresh%acm.org@localhost>
Pushed By:	mayuresh
Date:		Sun Jul 3 17:31:15 2022 +0530
Changeset:	6686dff01445bb3cc5871f02b17ab5a46b3c26ce

Added Files:
	ltsmin/DESCR
	ltsmin/Makefile
	ltsmin/PLIST
	ltsmin/TODO
	ltsmin/distinfo
	ltsmin/patches/patch-Makefile.in
	ltsmin/patches/patch-configure

Log Message:
wip version, see TODO

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=6686dff01445bb3cc5871f02b17ab5a46b3c26ce

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 ltsmin/DESCR                     |  9 +++++
 ltsmin/Makefile                  | 19 ++++++++++
 ltsmin/PLIST                     |  4 +++
 ltsmin/TODO                      | 77 ++++++++++++++++++++++++++++++++++++++++
 ltsmin/distinfo                  |  8 +++++
 ltsmin/patches/patch-Makefile.in | 13 +++++++
 ltsmin/patches/patch-configure   | 64 +++++++++++++++++++++++++++++++++
 7 files changed, 194 insertions(+)

diffs:
diff --git a/ltsmin/DESCR b/ltsmin/DESCR
new file mode 100644
index 0000000000..90b72deff7
--- /dev/null
+++ b/ltsmin/DESCR
@@ -0,0 +1,9 @@
+LTSmin started out as a generic toolset for manipulating labelled transition
+systems. Meanwhile the toolset was extended to a a full (LTL/CTL/mu-calculus)
+model checker, while maintaining its language-independent characteristics.
+
+To obtain its input, LTSmin connects a sizeable number of existing
+(verification) tools: *muCRL*, *mCRL2*, *DiVinE*, *SPIN* (*SpinS*), *UPPAAL*
+(*opaal*), *SCOOP*, *PNML*, *ProB* and *CADP*. Moreover, it allows to reuse
+existing tools with new state space generation techniques by exporting LTSs
+into various formats.
diff --git a/ltsmin/Makefile b/ltsmin/Makefile
new file mode 100644
index 0000000000..a3e67d5915
--- /dev/null
+++ b/ltsmin/Makefile
@@ -0,0 +1,19 @@
+# $NetBSD$
+
+DISTNAME=	ltsmin-v3.0.2-source
+PKGNAME=	${DISTNAME:S,-v,-,}
+CATEGORIES=	math
+MASTER_SITES=	${MASTER_SITE_GITHUB:=utwente-fmt/ltsmin/releases/download/v3.0.2/}
+EXTRACT_SUFX=	.tgz
+
+MAINTAINER=	pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=	https://ltsmin.utwente.nl/
+COMMENT=	The LTSmin model checking toolset
+LICENSE=	modified-bsd
+
+WRKSRC=		${WRKDIR}/ltsmin-3.0.2
+GNU_CONFIGURE=	yes
+USE_LANGUAGES=	c c++
+DEPENDS+=	flex>=2.6.4:../../devel/flex
+
+.include "../../mk/bsd.pkg.mk"
diff --git a/ltsmin/PLIST b/ltsmin/PLIST
new file mode 100644
index 0000000000..92ba51a2d7
--- /dev/null
+++ b/ltsmin/PLIST
@@ -0,0 +1,4 @@
+@comment $NetBSD$
+@comment TODO: to fill this file with the file listing:
+@comment TODO: 1. run "/usr/bin/make package"
+@comment TODO: 2. run "/usr/bin/make print-PLIST"
diff --git a/ltsmin/TODO b/ltsmin/TODO
new file mode 100644
index 0000000000..0500d21260
--- /dev/null
+++ b/ltsmin/TODO
@@ -0,0 +1,77 @@
+Still at configure state
+
+configure:17400: gcc -o conftest -O2 -fPIC -D_FORTIFY_SOURCE=2 -pthread -I/usr/pkg/include  -L/usr/pkg/lib
+-Wl,-zrelro -Wl,-R/usr/pkg/lib conftest.c   -lpthread >&5
+conftest.c: In function 'main':
+conftest.c:51:9: warning: implicit declaration of function 'pthread_mutexattr_setpshared'; did you mean 'pt
+hread_mutexattr_settype'? [-Wimplicit-function-declaration]
+     if (pthread_mutexattr_setpshared(&attr, PTHREAD_PROCESS_SHARED))
+         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
+         pthread_mutexattr_settype
+ld: /tmp//ccnFnR6G.o: in function `main':
+conftest.c:(.text.startup+0x3b): undefined reference to `pthread_mutexattr_setpshared'
+configure:17400: $? = 1
+configure: program exited with status 1
+configure: failed program was:
+| /* confdefs.h */
+| #define PACKAGE_NAME "ltsmin"
+| #define PACKAGE_TARNAME "ltsmin"
+| #define PACKAGE_VERSION "3.0.2"
+| #define PACKAGE_STRING "ltsmin 3.0.2"
+| #define PACKAGE_BUGREPORT "ltsmin-support%lists.utwente.nl@localhost"
+| #define PACKAGE_URL ""
+| #define PACKAGE "ltsmin"  
+| #define VERSION "3.0.2"
+| #define STDC_HEADERS 1  
+| #define HAVE_SYS_TYPES_H 1
+| #define HAVE_SYS_STAT_H 1
+| #define HAVE_STDLIB_H 1
+| #define HAVE_STRING_H 1
+| #define HAVE_MEMORY_H 1
+| #define HAVE_STRINGS_H 1
+| #define HAVE_INTTYPES_H 1
+| #define HAVE_STDINT_H 1
+| #define HAVE_UNISTD_H 1
+| #define __EXTENSIONS__ 1
+| #define _ALL_SOURCE 1
+| #define _DARWIN_C_SOURCE 1
+| #define _GNU_SOURCE 1
+| #define _POSIX_PTHREAD_SEMANTICS 1
+| #define __STDC_WANT_IEC_60559_ATTRIBS_EXT__ 1
+| #define __STDC_WANT_IEC_60559_BFP_EXT__ 1
+| #define __STDC_WANT_IEC_60559_DFP_EXT__ 1
+| #define __STDC_WANT_IEC_60559_FUNCS_EXT__ 1
+| #define __STDC_WANT_IEC_60559_TYPES_EXT__ 1
+| #define __STDC_WANT_LIB_EXT2__ 1
+| #define __STDC_WANT_MATH_SPEC_FUNCS__ 1
+| #define _TANDEM_SOURCE 1
+| #define LTSMIN_PATHNAME_MAX 1024
+| #define LTSMIN_CONFIG_INCLUDED 1
+| #define DEFFILEMODE 0666
+| #define HAVE_DLFCN_H 1
+| #define LT_OBJDIR ".libs/"
+| #define YYTEXT_POINTER 1
+| /* end confdefs.h.  */
+|
+| #include <stdlib.h>
+| #include <stdio.h>
+| #include <sys/types.h>
+| #include <pthread.h>
+| int main()
+| {
+|     pthread_mutex_t mutex;
+|     pthread_mutexattr_t attr;
+|     if (pthread_mutexattr_init(&attr))
+|         exit(1);
+|     if (pthread_mutexattr_setpshared(&attr, PTHREAD_PROCESS_SHARED))
+|         exit(2);
+|     if (pthread_mutex_init(&mutex, &attr))
+|         exit(3);
+|     if (pthread_mutexattr_destroy(&attr))
+|         exit(4);
+|     if (pthread_mutex_destroy(&mutex))
+|         exit(5);
+|     exit(0);
+| }
+|
+
diff --git a/ltsmin/distinfo b/ltsmin/distinfo
new file mode 100644
index 0000000000..086320b644
--- /dev/null
+++ b/ltsmin/distinfo
@@ -0,0 +1,8 @@
+$NetBSD$
+
+SHA1 (ltsmin-v3.0.2-source.tgz) = a658aaa6efa4a2c7fd0d48c4e8c406ebb4916c27
+RMD160 (ltsmin-v3.0.2-source.tgz) = 2e36b9cf08dd51ae6554cd8e7d5301726fb7202e
+SHA512 (ltsmin-v3.0.2-source.tgz) = f05f45384e2d12b82f9f59819c5701ad097819b77394296b3927d39183680fa86d7c94b2d2e8d497444887ed1a29b030e09f1808cb5c714ed8c939f9a6e7944a
+Size (ltsmin-v3.0.2-source.tgz) = 3273078 bytes
+SHA1 (patch-Makefile.in) = a20bc2c99a8baa2d5c3580990d20b41944454520
+SHA1 (patch-configure) = 96303b6fa0fee54b696c78150e0cb5904542a756
diff --git a/ltsmin/patches/patch-Makefile.in b/ltsmin/patches/patch-Makefile.in
new file mode 100644
index 0000000000..562149bca4
--- /dev/null
+++ b/ltsmin/patches/patch-Makefile.in
@@ -0,0 +1,13 @@
+$NetBSD$
+
+--- Makefile.in.orig	2018-07-03 19:29:08.000000000 +0000
++++ Makefile.in
+@@ -167,7 +167,7 @@ am__nobase_list = $(am__nobase_strip_set
+   for p in $$list; do echo "$$p $$p"; done | \
+   sed "s| $$srcdirstrip/| |;"' / .*\//!s/ .*/ ./; s,\( .*\)/[^/]*$$,\1,' | \
+   $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \
+-    if (++n[$$2] == $(am__install_max)) \
++    if (++n[$$2] = $(am__install_max)) \
+       { print $$2, files[$$2]; n[$$2] = 0; files[$$2] = "" } } \
+     END { for (dir in files) print dir, files[dir] }'
+ am__base_list = \
diff --git a/ltsmin/patches/patch-configure b/ltsmin/patches/patch-configure
new file mode 100644
index 0000000000..d9d6efda29
--- /dev/null
+++ b/ltsmin/patches/patch-configure
@@ -0,0 +1,64 @@
+$NetBSD$
+
+--- configure.orig	2018-07-03 19:29:06.000000000 +0000
++++ configure
+@@ -11416,9 +11416,9 @@ _LT_EOF
+ 	# Also, AIX nm treats weak defined symbols like other global
+ 	# defined symbols, whereas GNU nm marks them as "W".
+ 	if $NM -V 2>&1 | $GREP 'GNU' > /dev/null; then
+-	  export_symbols_cmds='$NM -Bpg $libobjs $convenience | awk '\''{ if (((\$ 2 == "T") || (\$ 2 == "D") || (\$ 2 == "B") || (\$ 2 == "W")) && (substr(\$ 3,1,1) != ".")) { print \$ 3 } }'\'' | sort -u > $export_symbols'
++	  export_symbols_cmds='$NM -Bpg $libobjs $convenience | awk '\''{ if (((\$ 2 = "T") || (\$ 2 = "D") || (\$ 2 = "B") || (\$ 2 = "W")) && (substr(\$ 3,1,1) != ".")) { print \$ 3 } }'\'' | sort -u > $export_symbols'
+ 	else
+-	  export_symbols_cmds='$NM -BCpg $libobjs $convenience | awk '\''{ if (((\$ 2 == "T") || (\$ 2 == "D") || (\$ 2 == "B")) && (substr(\$ 3,1,1) != ".")) { print \$ 3 } }'\'' | sort -u > $export_symbols'
++	  export_symbols_cmds='$NM -BCpg $libobjs $convenience | awk '\''{ if (((\$ 2 = "T") || (\$ 2 = "D") || (\$ 2 = "B")) && (substr(\$ 3,1,1) != ".")) { print \$ 3 } }'\'' | sort -u > $export_symbols'
+ 	fi
+ 	aix_use_runtimelinking=no
+ 
+@@ -12529,7 +12529,7 @@ aix[4-9]*)
+     # development snapshots of GCC prior to 3.0.
+     case $host_os in
+       aix4 | aix4.[01] | aix4.[01].*)
+-      if { echo '#if __GNUC__ > 2 || (__GNUC__ == 2 && __GNUC_MINOR__ >= 97)'
++      if { echo '#if __GNUC__ > 2 || (__GNUC__ = 2 && __GNUC_MINOR__ >= 97)'
+ 	   echo ' yes '
+ 	   echo '#endif'; } | ${CC} -E - | $GREP yes > /dev/null; then
+ 	:
+@@ -16145,9 +16145,9 @@ $as_echo_n "checking whether the $compil
+     # Also, AIX nm treats weak defined symbols like other global defined
+     # symbols, whereas GNU nm marks them as "W".
+     if $NM -V 2>&1 | $GREP 'GNU' > /dev/null; then
+-      export_symbols_cmds_CXX='$NM -Bpg $libobjs $convenience | awk '\''{ if (((\$ 2 == "T") || (\$ 2 == "D") || (\$ 2 == "B") || (\$ 2 == "W")) && (substr(\$ 3,1,1) != ".")) { print \$ 3 } }'\'' | sort -u > $export_symbols'
++      export_symbols_cmds_CXX='$NM -Bpg $libobjs $convenience | awk '\''{ if (((\$ 2 = "T") || (\$ 2 = "D") || (\$ 2 = "B") || (\$ 2 = "W")) && (substr(\$ 3,1,1) != ".")) { print \$ 3 } }'\'' | sort -u > $export_symbols'
+     else
+-      export_symbols_cmds_CXX='$NM -BCpg $libobjs $convenience | awk '\''{ if (((\$ 2 == "T") || (\$ 2 == "D") || (\$ 2 == "B")) && (substr(\$ 3,1,1) != ".")) { print \$ 3 } }'\'' | sort -u > $export_symbols'
++      export_symbols_cmds_CXX='$NM -BCpg $libobjs $convenience | awk '\''{ if (((\$ 2 = "T") || (\$ 2 = "D") || (\$ 2 = "B")) && (substr(\$ 3,1,1) != ".")) { print \$ 3 } }'\'' | sort -u > $export_symbols'
+     fi
+     ;;
+   pw32*)
+@@ -16363,7 +16363,7 @@ aix[4-9]*)
+     # development snapshots of GCC prior to 3.0.
+     case $host_os in
+       aix4 | aix4.[01] | aix4.[01].*)
+-      if { echo '#if __GNUC__ > 2 || (__GNUC__ == 2 && __GNUC_MINOR__ >= 97)'
++      if { echo '#if __GNUC__ > 2 || (__GNUC__ = 2 && __GNUC_MINOR__ >= 97)'
+ 	   echo ' yes '
+ 	   echo '#endif'; } | ${CC} -E - | $GREP yes > /dev/null; then
+ 	:
+@@ -17303,7 +17303,7 @@ ac_try='"$LEX" --stdout conftest.lex >/d
+ eval ac_try_echo="\":$LINENO: $ac_try\""
+ echo "$ac_try_echo" >&5
+ (eval "$ac_try") 2>&5
+-if test $? == 0; then
++if test $? = 0; then
+     ax_cv_check_flex_compat=yes
+ else
+     ax_cv_check_flex_compat=no
+@@ -28956,7 +28956,7 @@ as_fn_error $? "no acceptable atomic ope
+ See \`config.log' for more details" "$LINENO" 5; }
+ fi
+ 
+-if test "x$have_libspg" == xyes; then
++if test "x$have_libspg" = xyes; then
+ 
+ $as_echo "#define HAVE_LIBSPG /**/" >>confdefs.h
+