Threes scripts in ppl 0.10.2 that need to be tweaked for Solaris
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
-- Dennis Clarke dclarke@opensolaris.ca <- Email related to the open source Solaris dclarke@blastwave.org <- Email related to open source for Solaris
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@cs.unipr.it
participants (2)
-
Dennis Clarke -
Roberto Bagnara