[Ur] NEW USER NEED HELP WITH INSTALLATION

sampath kirupa shankar kirupa78 at hotmail.com
Tue Nov 29 15:31:31 EST 2011


Hi Marc,
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 

/tmp/fileBpB3id/webapp.o: In function `uw_cookie_sig':
webapp.c:(.text+0xe1): undefined reference to `uw_hash_blocksize'
webapp.c:(.text+0xe9): undefined reference to `uw_malloc'
webapp.c:(.text+0xf9): undefined reference to `uw_sign'
/tmp/fileBpB3id/webapp.o: In function `uw_handle':
webapp.c:(.text+0x181): undefined reference to `uw_write_header'
webapp.c:(.text+0x18e): undefined reference to `uw_write_header'
webapp.c:(.text+0x19b): undefined reference to `uw_write'
webapp.c:(.text+0x1a3): undefined reference to `uw_mayReturnIndirectly'
webapp.c:(.text+0x1b0): undefined reference to `uw_set_script_header'
webapp.c:(.text+0x1ba): undefined reference to `uw_set_needs_push'
webapp.c:(.text+0x1c4): undefined reference to `uw_set_needs_sig'
webapp.c:(.text+0x1cc): undefined reference to `uw_login'
webapp.c:(.text+0x1d9): undefined reference to `uw_Basis_unurlifyUnit'
webapp.c:(.text+0x1e6): undefined reference to `uw_write'
webapp.c:(.text+0x1ee): undefined reference to `uw_begin_region'
webapp.c:(.text+0x1f8): undefined reference to `uw_Basis_get_settings'
webapp.c:(.text+0x208): undefined reference to `uw_Basis_strcat'
webapp.c:(.text+0x213): undefined reference to `uw_Basis_maybe_onload'
webapp.c:(.text+0x21e): undefined reference to `uw_write'
webapp.c:(.text+0x226): undefined reference to `uw_end_region'
webapp.c:(.text+0x22e): undefined reference to `uw_begin_region'
webapp.c:(.text+0x23b): undefined reference to `uw_Basis_maybe_onunload'
webapp.c:(.text+0x246): undefined reference to `uw_write'
webapp.c:(.text+0x24e): undefined reference to `uw_end_region'
webapp.c:(.text+0x25b): undefined reference to `uw_write'
webapp.c:(.text+0x263): undefined reference to `uw_begin_region'
webapp.c:(.text+0x26d): undefined reference to `uw_Basis_get_script'
webapp.c:(.text+0x278): undefined reference to `uw_write'
webapp.c:(.text+0x280): undefined reference to `uw_end_region'
webapp.c:(.text+0x28d): undefined reference to `uw_write'
webapp.c:(.text+0x29a): undefined reference to `uw_write'
webapp.c:(.text+0x2b4): undefined reference to `uw_clear_headers'
webapp.c:(.text+0x2c1): undefined reference to `uw_write_header'
webapp.c:(.text+0x2ce): undefined reference to `uw_write'
webapp.c:(.text+0x2e9): undefined reference to `uw_Basis_requestHeader'
webapp.c:(.text+0x30c): undefined reference to `uw_write_header'
webapp.c:(.text+0x319): undefined reference to `uw_write_header'
webapp.c:(.text+0x326): undefined reference to `uw_write'
webapp.c:(.text+0x334): undefined reference to `uw_clear_headers'
webapp.c:(.text+0x352): undefined reference to `uw_write_header'
/tmp/fileBpB3id/webapp.o: In function `uw_cookie_sig':
webapp.c:(.text+0x112): undefined reference to `uw_Basis_makeSigString'
/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_new_request                                                                             _context'
/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_error'
/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_set_headers                                                                             '
/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_dequeue'
/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_get_app'
/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_request_new                                                                             _context'
/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `pthread_create                                                                             _big'
/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_reset'
/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_enqueue'
/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_request_ini                                                                             t'
/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_really_send                                                                             '
/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `client_pruner'
/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_request'
/usr/local/lib/urweb/../liburweb_http.so: undefined reference to `uw_send'
collect2: ld returned 1 exit status

Can u help me see what's the problem please......

Kirupashankar Sampath
7907 N Backer Ave,
Fresno, CA 93720.
Ph: 817-715-5576 


> From: marco-oweber at gmx.de
> To: ur at impredicative.com
> Date: Wed, 1 Dec 2010 13:25:25 +0100
> Subject: Re: [Ur] NEW USER NEED HELP WITH INSTALLATION
> 
> Excerpts from sampath kirupa shankar's message of Wed Dec 01 05:45:09 +0100 2010:
> > Hi everybody,
> > 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.
> 
> If a shell is good enough I can provide an account which is able to run
> urweb easily (running nixos linux).
> Send me an email if you're interested.
> 
> For windows you have the following options:
> 
> - linux using virtualization (eg virtualbox) (32 and 64bit)
> 
> - linux using a linux kernel which urns natively on Windows (eg colinux,
>   32bit only)
> 
> - try cygwin (probably nobody has tried running urweb on cygwin before.
>   So if you want to get started I'd not spend too much time on it -
>   depending on settings cygwin also executes slower due to permission
>   checkings etc - Thus its likely that you would be spending more time
>   than necessary on configuring etc )
> 
> If you have virtualizing support in your computer virtualbox will be the
> most simple solution to get up a linux system running because networking
> just works etc.
> 
> By the way: WRITING UPPER case only could be considered shouting - writing
> everything in upper case will triggers a "this is spam" feeling in my
> mind. So I tend to delete mails like this without reading.
> Maybe that's because I missed it in the first place (?)
> 
> regards
> Marc Weber
> 
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20111129/3c2c07d1/attachment.html>


More information about the Ur mailing list