Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
cs-486:tools [2017/04/12 16:28]
egm [Cudd]
cs-486:tools [2017/12/01 14:41]
egm [Cudd]
Line 21: Line 21:
 The newest version of [ftp://​vlsi.colorado.edu/​pub/​cudd-3.0.0.tar.gz CUDD] includes a configure script. For the OS X build, I did the following: The newest version of [ftp://​vlsi.colorado.edu/​pub/​cudd-3.0.0.tar.gz CUDD] includes a configure script. For the OS X build, I did the following:
  
- ​$ ​./​configure ​./configure CC=clang CXX=clang+++ $ ./configure CC=clang CXX=clang++
  $ make  $ make
  ...  ...
cs-486/tools.txt ยท Last modified: 2018/09/04 10:15 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0