This commit is contained in:
James Cherry 2020-01-15 17:19:19 -07:00
parent 2068cb6d3f
commit 48da6feb97
1 changed files with 3 additions and 3 deletions

View File

@ -135,15 +135,15 @@ Optional CMake variables passed as -D<var>=<value> arguments to CMake are show b
```
CMAKE_BUILD_TYPE DEBUG|RELEASE
CMAKE_CXX_FLAGS - additional compiler flags
TCL_LIB - path to tcl library
TCL_LIBRARY - path to tcl library
TCL_HEADER - path to tcl.h
CUDD - path to cudd installation
ZLIB_ROOT - path to zlib
CMAKE_INSTALL_PREFIX
```
If `TCL_LIB` is specified the CMake script will attempt to locate the
header from the library path.
If `TCL_LIBRARY` is specified the CMake script will attempt to locate
the header from the library path.
The default install directory is `/usr/local`.
To install in a different directory with CMake use: