[Ur] Error when trying to compile UPO: Invalid URL /style.css passed to 'bless'

[Stefan Scott Alexander]

Hi -

SUMMARY:

When initially trying to compile UPO, I am getting compile errors (the
following line, printed 3 times):

/home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:48) Invalid URL /style.css
passed to 'bless'

It seems that there may either be a file missing, or a file in the wrong
location.

DETAILS:

File sources and locations:

(1) I obtained UPO and bootstrap 3 from these locations:

https://github.com/achlipala/upo

http://hg.impredicative.com/bootstrap

(I'm not sure if I'm using hg correctly - as I am more familiar with
github. On hg, I simply used the 'raw' command to download bootstrap3.ur
and bootstrap3.urp.)

(2) On my machine, UPO is in /home/scott/wrk/urweb/upo, and bootstrap3 is
here:

scott at debian:/usr/local/lib/urweb/ur/bootstrap$ ls -l
total 16
-rw-r--r-- 1 root staff 11859 Jul 16 03:10 bootstrap3.ur
-rw-r--r-- 1 root staff    73 Jul 16 09:26 bootstrap3.urp
$

Initial compile attempt:

Now, when I enter:

scott at debian:~/wrk/urweb/upo/examples$ urweb -dbms postgres -db
"host=localhost port=5432 user=scott password='XXXXXX' dbname=jfac" jfac

the compiler says:

/home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:48) Invalid URL /style.css
passed to 'bless'
/home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:48) Invalid URL /style.css
passed to 'bless'
/home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:48) Invalid URL /style.css
passed to 'bless'
$

Examining the directory layout, I do see a file 'style.css' - but it is one
directory "deeper", here:

/home/scott/wrk/urweb/upo/examples/style.css

Observations:

(1) The file 'style.css' which the compiler is looking for might not
necessarily be the one at '/home/scott/wrk/urweb/upo/examples/style.css'.

Indications suggesting that the above pathname might *not* be the desired
file include:

(a) The file /home/scott/wrk/urweb/upo/examples/style.css is rather short,
it only contains:

body {
    padding-top: 60px
}

.MeetingGrid_meeting_default {
    border-style: double;
    cursor: move
}

.MeetingGrid_meeting_selected {
    border-style: double;
    cursor: move;
    background-color: green
}

.MeetingGrid_meeting_conflict {
    border-style: double;
    cursor: move;
    background-color: red
}

(b) And after those lines, there is a a lot of layout involving *other*
classes such as 'navbar', 'icon-bar', etc.

So I am hesitant to simply move or copy
/home/scott/wrk/urweb/upo/examples/style.css - because it seems that the
'missing' file 'style.css' might be a more general one, relating to
boostrap3, and not to this specific UPO example which I am attempting to
compile (jfac).

(c) The string 'meeting' does not occur in the file
/home/scott/wrk/urweb/upo/ui.ur where the compiler stumbled.

(2) Notwithstanding (1) above... as a test, did try copying 'style.css' (or
changing the code referencing it), 3 different ways, as follows:

(a) cp ~/wrk/urweb/upo/examples/style.css ~/wrk/urweb/upo/style.css

But the compiler gave the same error messages in this case:

/home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:48) Invalid URL /style.css
passed to 'bless'
/home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:48) Invalid URL /style.css
passed to 'bless'
/home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:48) Invalid URL /style.css
passed to 'bless'

(b) I then undid (2)(a) and tried changing line 125 in file ui.ur, to now
read:

        <link rel="stylesheet" href="examples/style.css"/>

However, the compiler again gave similar error messages:

/home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:56) Invalid URL
examples/style.css passed to 'bless'
/home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:56) Invalid URL
examples/style.css passed to 'bless'
/home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:56) Invalid URL
examples/style.css passed to 'bless'

(c) Finally, on line 125 in ui.ur, I tried adding a '/' at the beginning

        <link rel="stylesheet" href="examples/style.css"/>

but the compiler still gave similar error messages:

/home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:57) Invalid URL
/examples/style.css passed to 'bless'
/home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:57) Invalid URL
/examples/style.css passed to 'bless'
/home/scott/wrk/urweb/upo/ui.ur:125:40: (to 125:57) Invalid URL
/examples/style.css passed to 'bless'


Thanks for any help!

- Scott
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150716/e331f029/attachment-0001.html>