1
2
3
4
5
6
7
8
9
10
|
1
2
3
4
5
6
7
8
9
10
|
-
-
+
+
|
#!/bin/sh
# FILE: "/krispc6/home/joze/src/tclreadline/tclreadlineConfig.sh.in"
# LAST MODIFICATION: "Sat May 8 14:03:17 1999 (joze)"
# FILE: "/diska/home/joze/src/tclreadline/tclreadlineConfig.sh.in"
# LAST MODIFICATION: "Wed Aug 25 16:23:10 1999 (joze)"
# (C) 1998, 1999 by Johannes Zellner, <johannes@zellner.org>
# $Id$
# ---
#
# tclreadline -- gnu readline for tcl
# Copyright (C) 1999 Johannes Zellner
#
|
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
+
+
|
#
# The information in this file is specific to a single platform.
# tclreadline's version number.
TCLREADLINE_VERSION='@TCLREADLINE_VERSION@'
TCLREADLINE_MAJOR_VERSION='@TCLREADLINE_MAJOR_VERSION@'
TCLREADLINE_MINOR_VERSION='@TCLREADLINE_MINOR_VERSION@'
# there's no leading dot here as in tclConfig.sh!
TCLREADLINE_PATCHLEVEL='@TCLREADLINE_PATCHLEVEL@'
# The name of the tclreadline library
# (may be either a .a file or a shared library):
TCLREADLINE_LIB_FILE=@TCLREADLINE_LIB_FILE@
# String to pass to linker to pick up the tclreadline library from its
# build directory.
|