[Ur] Trouble getting started. Link errors.

Adam Chlipala adamc at impredicative.com
Fri Jan 6 18:11:55 EST 2012


Steve Sims wrote:
> I had the same result as Pranjal.  After building from the Mercurial 
> repo and applying Pranjal's change to config.sml I am up and running. 
>  Thanks very much for the assistance.

I've pushed a changeset which swaps the default order of the two linking 
arguments.  Does this new version work out of the box?

If not, then I suspect the culprit is pkg-config, which you could test 
by running:
     pkg-config openssl --libs-only-l
If this tool is available, then Ur/Web configuration gets the linker 
flags from the above command line.



More information about the Ur mailing list