tclbdd

Check-in [ce07ff5188]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Try to make installer work
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:ce07ff5188d8c6174ca0c4a9bc996be593de63d7
User & Date: kbk 2014-01-10 02:18:21
Context
2014-01-10
13:52
Add prelude/postlude to code generation to reduce the temptation of global vars. Fix FDDD code gen for equalities, which was using the wrong namespace. check-in: 88561d8ac3 user: kbk tags: trunk
02:18
Try to make installer work check-in: ce07ff5188 user: kbk tags: trunk
02:00
Clean up packaging a little bit, again. check-in: aa0c89ccc1 user: kbk tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to configure.

6977
6978
6979
6980
6981
6982
6983


























6984
6985
6986
6987
6988
6989
6990
	PKG_STUB_OBJECTS="$PKG_STUB_OBJECTS $j"
    done




    vars="library/tclbdd.tcl library/tclfddd.tcl"


























    for i in $vars; do
	# check for existence, be strict because it is installed
	if test ! -f "${srcdir}/$i" ; then
	    { { echo "$as_me:$LINENO: error: could not find tcl source file '${srcdir}/$i'" >&5
echo "$as_me: error: could not find tcl source file '${srcdir}/$i'" >&2;}
   { (exit 1); exit 1; }; }
	fi







>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>







6977
6978
6979
6980
6981
6982
6983
6984
6985
6986
6987
6988
6989
6990
6991
6992
6993
6994
6995
6996
6997
6998
6999
7000
7001
7002
7003
7004
7005
7006
7007
7008
7009
7010
7011
7012
7013
7014
7015
7016
	PKG_STUB_OBJECTS="$PKG_STUB_OBJECTS $j"
    done




    vars="library/tclbdd.tcl library/tclfddd.tcl"
    for i in $vars; do
	# check for existence, be strict because it is installed
	if test ! -f "${srcdir}/$i" ; then
	    { { echo "$as_me:$LINENO: error: could not find tcl source file '${srcdir}/$i'" >&5
echo "$as_me: error: could not find tcl source file '${srcdir}/$i'" >&2;}
   { (exit 1); exit 1; }; }
	fi
	PKG_TCL_SOURCES="$PKG_TCL_SOURCES $i"
    done



    vars="library/datalog.tcl library/coroutine_corovar.tcl"
    for i in $vars; do
	# check for existence, be strict because it is installed
	if test ! -f "${srcdir}/$i" ; then
	    { { echo "$as_me:$LINENO: error: could not find tcl source file '${srcdir}/$i'" >&5
echo "$as_me: error: could not find tcl source file '${srcdir}/$i'" >&2;}
   { (exit 1); exit 1; }; }
	fi
	PKG_TCL_SOURCES="$PKG_TCL_SOURCES $i"
    done



    vars="library/coroutine_iterator.tcl"
    for i in $vars; do
	# check for existence, be strict because it is installed
	if test ! -f "${srcdir}/$i" ; then
	    { { echo "$as_me:$LINENO: error: could not find tcl source file '${srcdir}/$i'" >&5
echo "$as_me: error: could not find tcl source file '${srcdir}/$i'" >&2;}
   { (exit 1); exit 1; }; }
	fi

Changes to configure.in.

72
73
74
75
76
77
78


79
80
81
82
83
84
85
TEA_ADD_SOURCES([generic/bdd.c generic/tclBdd.c])
TEA_ADD_HEADERS([generic/tclBdd.h generic/tclBddInt.h])
TEA_ADD_INCLUDES([])
TEA_ADD_LIBS([])
TEA_ADD_CFLAGS([])
TEA_ADD_STUB_SOURCES([])
TEA_ADD_TCL_SOURCES([library/tclbdd.tcl library/tclfddd.tcl])



#--------------------------------------------------------------------
#
# You can add more files to clean if your extension creates any extra
# files by extending CLEANFILES.
# Add pkgIndex.tcl if it is generated in the Makefile instead of ./configure
# and change Makefile.in to move it from CONFIG_CLEAN_FILES to BINARIES var.







>
>







72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
TEA_ADD_SOURCES([generic/bdd.c generic/tclBdd.c])
TEA_ADD_HEADERS([generic/tclBdd.h generic/tclBddInt.h])
TEA_ADD_INCLUDES([])
TEA_ADD_LIBS([])
TEA_ADD_CFLAGS([])
TEA_ADD_STUB_SOURCES([])
TEA_ADD_TCL_SOURCES([library/tclbdd.tcl library/tclfddd.tcl])
TEA_ADD_TCL_SOURCES([library/datalog.tcl library/coroutine_corovar.tcl])
TEA_ADD_TCL_SOURCES([library/coroutine_iterator.tcl])

#--------------------------------------------------------------------
#
# You can add more files to clean if your extension creates any extra
# files by extending CLEANFILES.
# Add pkgIndex.tcl if it is generated in the Makefile instead of ./configure
# and change Makefile.in to move it from CONFIG_CLEAN_FILES to BINARIES var.

Changes to examples/reach2.tcl.

1
2
3
4
5
6
7
8
source loadscript.tcl

package require tclbdd::datalog

source [file join [file dirname [info script]] .. examples loadProgram.tcl]
source [file join [file dirname [info script]] .. examples program1.tcl]

set vars [analyzeProgram $program db]
|







1
2
3
4
5
6
7
8
if {[file exists loadscript.tcl]} {source loadscript.tcl}

package require tclbdd::datalog

source [file join [file dirname [info script]] .. examples loadProgram.tcl]
source [file join [file dirname [info script]] .. examples program1.tcl]

set vars [analyzeProgram $program db]