Re: [Strasheela-devel] duchier select.ozf

[Graham P. <gp...@gm...>]

On Sat, 29 Mar 2008 17:43:17 +0000
Torsten Anders <tor...@pl...> wrote:

> the installation of the selection constraints should be trivial. As  
> the Strasheela installation instructions explain, in a terminal  
> simply do
> 
> ozmake --install --package=http://www.mozart-oz.org/mogul/populate/ 
> duchier/select/duchier-select__1.3.0__source__1.8.pkg

Oops, I missed that.

> Nevertheless, if you feel the installation instructions could be  
> improve, you are more than welcome to do so :)

IMO, if a user successfully runs the scripts/install-all.sh
script, everything in the "core" Strasheela should be working.  I
therefore see three possibilities:

1) check for select.ozf before installing strasheela, and complain
if it isn't present.  (like normal ./configure scripts)

2) check for select.ozf after installing strasheela, and if it
isn't present print out a big
  echo "***** You must install duchier/select *****"
  echo "Please type (or copy) the following line into your terminal"
  echo "ozmake --install --package=htt....."

3) mark whatever needs Select as "none-core" Strasheela code...
although at the moment I'm not certain exactly what that means,
since we install everything in the contributions/  by default.  (I
was pleasantly surprised to find all the contributions/gperciva/
material installed -- although I'm not certain that this is good
idea.  I certainly don't consider them to be on the same level as
material like Output or Pattern!)

Cheers,
- Graham