Susanto Kong wrote: > Hi Flemming, > > Thank you for your input. > I am using Kubuntu 8.04 - 64bit (have to stick with 64). > I already followed peter's suggestion. > Basic MOSML build smoothly. > But not the dynamic links. > I have tried to build it one at a time. > So far I managed to build crypt, interface, mpg, mregex, and munix. > Failed on intinf, mgd, mgdbm, mmysql, and msocket. > I am not sure it is enough to build HOL.
If you can build (and load) a dynamic library like munix, then you have a good chance of being able to build all of HOL. And the only thing that the dynamic loading is needed for is HolBdd. If you don't need HolBdd, then you only need "basic" Moscow ML. Michael. ------------------------------------------------------------------------- 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
