From 48da6feb970fc23a678a140324358090270bda10 Mon Sep 17 00:00:00 2001 From: James Cherry Date: Wed, 15 Jan 2020 17:19:19 -0700 Subject: [PATCH] README --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index bf9c8de2..e3bee224 100644 --- a/README.md +++ b/README.md @@ -135,15 +135,15 @@ Optional CMake variables passed as -D= 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: