<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Tahoma
}
--></style>
</head>
<body class='hmmessage'><div dir='ltr'>
Hi Marc,<br>I have installed urweb on to my school's server and when i try to compile using the command "urweb urblog" it gives me the follwing errors <br><br>/tmp/fileBpB3id/webapp.o: In function `uw_cookie_sig':<br>webapp.c:(.text+0xe1): undefined reference to `uw_hash_blocksize'<br>webapp.c:(.text+0xe9): undefined reference to `uw_malloc'<br>webapp.c:(.text+0xf9): undefined reference to `uw_sign'<br>/tmp/fileBpB3id/webapp.o: In function `uw_handle':<br>webapp.c:(.text+0x181): undefined reference to `uw_write_header'<br>webapp.c:(.text+0x18e): undefined reference to `uw_write_header'<br>webapp.c:(.text+0x19b): undefined reference to `uw_write'<br>webapp.c:(.text+0x1a3): undefined reference to `uw_mayReturnIndirectly'<br>webapp.c:(.text+0x1b0): undefined reference to `uw_set_script_header'<br>webapp.c:(.text+0x1ba): undefined reference to `uw_set_needs_push'<br>webapp.c:(.text+0x1c4): undefined reference to `uw_set_needs_sig'<br>webapp.c:(.text+0x1cc): undefined reference to `uw_login'<br>webapp.c:(.text+0x1d9): undefined reference to `uw_Basis_unurlifyUnit'<br>webapp.c:(.text+0x1e6): undefined reference to `uw_write'<br>webapp.c:(.text+0x1ee): undefined reference to `uw_begin_region'<br>webapp.c:(.text+0x1f8): undefined reference to `uw_Basis_get_settings'<br>webapp.c:(.text+0x208): undefined reference to `uw_Basis_strcat'<br>webapp.c:(.text+0x213): undefined reference to `uw_Basis_maybe_onload'<br>webapp.c:(.text+0x21e): undefined reference to `uw_write'<br>webapp.c:(.text+0x226): undefined reference to `uw_end_region'<br>webapp.c:(.text+0x22e): undefined reference to `uw_begin_region'<br>webapp.c:(.text+0x23b): undefined reference to `uw_Basis_maybe_onunload'<br>webapp.c:(.text+0x246): undefined reference to `uw_write'<br>webapp.c:(.text+0x24e): undefined reference to `uw_end_region'<br>webapp.c:(.text+0x25b): undefined reference to `uw_write'<br>webapp.c:(.text+0x263): undefined reference to `uw_begin_region'<br>webapp.c:(.text+0x26d): undefined reference to `uw_Basis_get_script'<br>webapp.c:(.text+0x278): undefined reference to `uw_write'<br>webapp.c:(.text+0x280): undefined reference to `uw_end_region'<br>webapp.c:(.text+0x28d): undefined reference to `uw_write'<br>webapp.c:(.text+0x29a): undefined reference to `uw_write'<br>webapp.c:(.text+0x2b4): undefined reference to `uw_clear_headers'<br>webapp.c:(.text+0x2c1): undefined reference to `uw_write_header'<br>webapp.c:(.text+0x2ce): undefined reference to `uw_write'<br>webapp.c:(.text+0x2e9): undefined reference to `uw_Basis_requestHeader'<br>webapp.c:(.text+0x30c): undefined reference to `uw_write_header'<br>webapp.c:(.text+0x319): undefined reference to `uw_write_header'<br>webapp.c:(.text+0x326): undefined reference to `uw_write'<br>webapp.c:(.text+0x334): undefined reference to `uw_clear_headers'<br>webapp.c:(.text+0x352): undefined reference to `uw_write_header'<br>/tmp/fileBpB3id/webapp.o: In function `uw_cookie_sig':<br>webapp.c:(.text+0x112): undefined reference to `uw_Basis_makeSigString'<br>/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_new_request _context'<br>/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_error'<br>/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_set_headers '<br>/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_dequeue'<br>/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_get_app'<br>/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_request_new _context'<br>/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `pthread_create _big'<br>/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_reset'<br>/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_enqueue'<br>/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_request_ini t'<br>/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_really_send '<br>/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `client_pruner'<br>/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_request'<br>/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_send'<br>collect2: ld returned 1 exit status<br><br>Can u help me see what's the problem please......<br><br><div><font color="#5f497a"><strong>Kirupashankar Sampath</strong></font></div>
<div><font color="#5f497a"><strong>7907 N Backer Ave,</strong></font></div>
<div><font color="#5f497a"><strong>Fresno, CA 93720.</strong></font></div>
<div><strong><font color="#5f497a">Ph: 817-715-5576</font> <br></strong></div><br><br><div>> From: marco-oweber@gmx.de<br>> To: ur@impredicative.com<br>> Date: Wed, 1 Dec 2010 13:25:25 +0100<br>> Subject: Re: [Ur] NEW USER NEED HELP WITH INSTALLATION<br>> <br>> Excerpts from sampath kirupa shankar's message of Wed Dec 01 05:45:09 +0100 2010:<br>> > Hi everybody,<br>> > I am Kirupashankar Sampath, a grad student at CSU Fresno, CA. I am interested in Ur and have started a project of proving the safety theorems of Ur language. I am not able to install Ur from the instructions on the home page. I have a windows vista.....could anybody please give me a step by step procedure for the installation. Thank you.<br>> <br>> If a shell is good enough I can provide an account which is able to run<br>> urweb easily (running nixos linux).<br>> Send me an email if you're interested.<br>> <br>> For windows you have the following options:<br>> <br>> - linux using virtualization (eg virtualbox) (32 and 64bit)<br>> <br>> - linux using a linux kernel which urns natively on Windows (eg colinux,<br>> 32bit only)<br>> <br>> - try cygwin (probably nobody has tried running urweb on cygwin before.<br>> So if you want to get started I'd not spend too much time on it -<br>> depending on settings cygwin also executes slower due to permission<br>> checkings etc - Thus its likely that you would be spending more time<br>> than necessary on configuring etc )<br>> <br>> If you have virtualizing support in your computer virtualbox will be the<br>> most simple solution to get up a linux system running because networking<br>> just works etc.<br>> <br>> By the way: WRITING UPPER case only could be considered shouting - writing<br>> everything in upper case will triggers a "this is spam" feeling in my<br>> mind. So I tend to delete mails like this without reading.<br>> Maybe that's because I missed it in the first place (?)<br>> <br>> regards<br>> Marc Weber<br>> <br>> _______________________________________________<br>> Ur mailing list<br>> Ur@impredicative.com<br>> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur<br></div> </div></body>
</html>