Skip to content

Simplify the run scripts#735

Open
asarhaddon wants to merge 12 commits intokanaka:masterfrom
asarhaddon:ocaml
Open

Simplify the run scripts#735
asarhaddon wants to merge 12 commits intokanaka:masterfrom
asarhaddon:ocaml

Conversation

@asarhaddon
Copy link
Copy Markdown
Contributor

Hello.

The idea was to use /bin/sh where possible. On Debian/Ubuntu, this is way faster than bash. Also, /usr/bin/env foo is not more portable than /usr/bin/foo, it just fails elsewhere.
A number of unrelated and small suggestions germed on the way. I can make distinct merge requests for the want you find useful and cannot cherrypick.
Rust fails, probably because of an outdated Docker image. The build succeeds on my machine.
Qbasic fails, although the changes in the directory are minimal, and safe for cbmbasic.
I failed to understand the issue.
Perl failed with a cryptic error, fixed by adding a --mal command line option disabling readline.
Purs fails with the same error than Perl. I have given up applying the same fix. Any change I introduce in src/Readline.js results in a new error.
Please tell me which changes are woth working on. I would also appreciate help about qbasic and purs.

Shebangs are convenient, but not portable, and they increase the
complexity.  Most were ignored for the more general "run" script.
This change is split so that git shows meaningful diffs.
Take the opportunity to change most shebangs to 'bin/sh', more
portable (and efficient on Debian) than '/usr/bin/env bash'.

Also trigger all optional shell errors.

The convention was already applied de facto:

* {latex3,scala}/run start by changing their working directory, so
  relative paths in command line arguments must be relative to the
  implementation directory.

* bbc-basic: contains '-path ../bbc-basic', so it assumes that it is
  executed in an implementation directory (even if not necessary its
  own).

* impls/matlab/run already seems to assume that is is executed in its
  directory.

It also fixes the execution of $path_with_spaces/impls/vimscript/run.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant