diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-05-02 21:22:13 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-05-02 21:22:13 +0000 |
commit | 70336ce1430a857029e972942d1ba0d9019c7cb6 (patch) | |
tree | c75b603760477e2131419395402a239eed752488 /README | |
parent | 4908a7c71ad38f60828fc4f4ecaa56d216cfdc97 (diff) |
fix for configure
Diffstat (limited to 'README')
-rw-r--r-- | README | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -31,6 +31,7 @@ GMP v4.2 (GNU Multi-Precision arithmetic library) libantlr3c v3.2 (ANTLR parser generator) Optional: CLN v1.3 (Class Library for Numbers) Optional: CUDD v2.4.2 (Colorado University Decision Diagram package) +Optional: GNU Readline library (for an improved interactive experience) CUDD, if desired, must be installed in a special manner. The default distribution from vlsi.colorado.edu doesn't build shared objects, |