Thanks Michael, After a bit tweaking, I managed to build HOL. But with issues on muddy and smv. Here is the warning & error output:
reorder.c: In function 'bdd_reorder_auto': reorder.c:1629: warning: the address of 'bdd_reorder_ready' will always evaluate as 'true' ar: creating libbdd.a In file included from grammar.y:2: ./storage.h:15: warning: conflicting types for built-in function 'malloc' grammar.tab.c:462: error: conflicting types for 'malloc' ./storage.h:15: error: previous declaration of 'malloc' was here grammar.y: In function 'yyparse': grammar.y:284: warning: cast to pointer from integer of different size make: *** [grammar.o] Error 1 Build failed in directory /home/kws/tools/hol/src/temporal/smv.2.4.3 (make failed). I wonder what do you think about this message? Kong Susanto ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
