Added note to Makefile (CUDD compiler options).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@442 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · 35098ec695
1 changed files with 3 additions and 0 deletions
--- a/prism/Makefile
+++ b/prism/Makefile
@ -127,6 +127,9 @@ LD = $(CPP)
 JAVAC = javac
 JAVAH = javah
 # Please note that C/CPP are currently not passed to the CUDD make process
 # So if you want alternative compilers for CUDD too, change the options at the top of cudd/Makefile.$OSTYPE
 ##############
 # Flags etc. #
 ##############