Running MOR

[Leonid Spektor]

 Kevin,

	If you type just "./post" and press return key you will get a usage listing where yu will see that "-l" option is used to specify the "line limit" or to "reduce memory use" instead of specifying library directory. As I mentioned before, unfortunately CLAN does not follow Unix conventions.

Leonid.





On Dec 5, 2010, at 10:44, Kevin Donnelly wrote:

> Hi Leonid
> 
> ::::On Saturday 04 December 2010 Leonid Spektor said::::
>> In your case the proper command line is:
>> 	./mor +xi -l../../lib/eng
>> Notice, there is no space between "-l" and the directory path. 
> 
> Cool - thanks for that.
> 
> I'm running:
> ./mor -l../../lib/eng ../../chats/sastre3.cha
> and that works fine.  
> 
> However, when I try to run POST on the output:
> ./post -l../../lib/eng ../../chats/sastre3.mor.cex
> I get:
> cannot open "post.db".
> ***Please make sure that any file with ".db" in "mor lib" folder is renamed to 
> post.db
> a workspace has to be created
> cannot open "post.db".
> ***Please make sure that any file with ".db" in "mor lib" folder is renamed to 
> post.db
> error: the file "post.db" cannot be opened
> 
> There is a post.db in the English MOR grammar, and I've opened out the 
> permissions to 777.
> 
> It works if I give the full path to the post-db file:
> ./post -l../../lib/eng +d../../lib/eng/post.db ../../chats/sastre3.mor.cex
> and I get the output in sastre3.mor.pst.cex.
> 
> Any reason why this works and the default doesn't?
> 
> -- 
> Pob hwyl / Best wishes
> 
> Kevin Donnelly
> kevindonnelly.org.uk
> 
> -- 
> You received this message because you are subscribed to the Google Groups "chibolts" group.
> To post to this group, send email to chibolts at googlegroups.com.
> To unsubscribe from this group, send email to chibolts+unsubscribe at googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/chibolts?hl=en.
> 
> 

-- 
You received this message because you are subscribed to the Google Groups "chibolts" group.
To post to this group, send email to chibolts at googlegroups.com.
To unsubscribe from this group, send email to chibolts+unsubscribe at googlegroups.com.
For more options, visit this group at http://groups.google.com/group/chibolts?hl=en.