[PPL-devel] Threes scripts in ppl 0.10.2 that need to be tweaked for Solaris

[Roberto Bagnara]

On 12/10/10 19:12, Dennis Clarke wrote:
>
> Minor annoyance but trivial to repair.
>
> The following scripts all should refer to /bin/bash as the shell to
> execute in. The two utils will fail on Solaris as the "read" function
> fails with a note about the '-r' option being incorrect. This occurs
> because the read may be /usr/xpg4/bin/read or it may be /usr/bin/read
> where the base shell seems to solve all this with an internal function.
>
> Thus :
>
> $ diff configure configure.backup
> 1c1
> <  #!/bin/bash
> ---
>> #! /bin/sh
>
> $ diff utils/cm_cleaner.sh utils/cm_cleaner.sh.backup
> 1c1
> <  #!/bin/bash
> ---
>> #!/bin/sh
>
> $ diff utils/cm_splitter.sh utils/cm_splitter.sh.backup
> 1c1
> <  #!/bin/bash
> ---
>> #!/bin/sh

Hi Dennis, this is fixed in PPL 0.11 and later versions.
If you want to keep using PPL 0.10.2 (a big mistake in
my opinion) you can backport the fixes from the later
versions.
All the best,

    Roberto

P.S. I will follow up on your other messages later.

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it