diff options
| -rw-r--r-- | Makefile.config | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.config b/Makefile.config index 30ef632..d94552f 100644 --- a/Makefile.config +++ b/Makefile.config @@ -21,3 +21,6 @@ BURG = /home/vadve/vadve/Research/DynOpt/Burg/burg # PURIFY = /usr/dcs/applications/purify/bin/purify +# Path to location for LLVM front-end +# +LLVMGCCDIR = /home/vadve/lattner/cvs/gcc_install |