[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