ChatGPT解决这个技术问题 Extra ChatGPT

How can I use Bash syntax in Makefile targets?

I often find Bash syntax very helpful, e.g. process substitution like in diff <(sort file1) <(sort file2).

Is it possible to use such Bash commands in a Makefile? I'm thinking of something like this:

file-differences:
    diff <(sort file1) <(sort file2) > $@

In my GNU Make 3.80 this will give an error since it uses the shell instead of bash to execute the commands.

This was exactly my problem, took me at least one hour to find this question! I leave my error message here so future readers can find it: /bin/sh: -c: line 0: syntax error near unexpected token ('`

J
Jens

From the GNU Make documentation,

5.3.2 Choosing the Shell
------------------------

The program used as the shell is taken from the variable `SHELL'.  If
this variable is not set in your makefile, the program `/bin/sh' is
used as the shell.

So put SHELL := /bin/bash at the top of your makefile, and you should be good to go.

BTW: You can also do this for one target, at least for GNU Make. Each target can have its own variable assignments, like this:

all: a b

a:
    @echo "a is $$0"

b: SHELL:=/bin/bash   # HERE: this is setting the shell for b only
b:
    @echo "b is $$0"

That'll print:

a is /bin/sh
b is /bin/bash

See "Target-specific Variable Values" in the documentation for more details. That line can go anywhere in the Makefile, it doesn't have to be immediately before the target.


500 bounty waiting for a quote from man. Talk about timings. :P
@inLoveWithPython Well, info, actually, but, I guess it really helped Andy. I know I've had days like that...
if in doubt, @derobert meant literally: SHELL=/bin/bash as the first line of the Makefile (or right after the comment).
If you use /usr/bin/env bash it uses the bash in the PATH. But what if it was just SHELL := bash?
One more note to clear some confusion that might happen if you try to $(info $(SHELL)) from a makefile and see /bin/bash: it means nothing! GNU Make inherits the variables from the environment, so the SHELL variable comes from the environment, but it won't use it when $(origin SHELL) is environment (my guess).
C
Chris Lutz

You can call bash directly, use the -c flag:

bash -c "diff <(sort file1) <(sort file2) > $@"

Of course, you may not be able to redirect to the variable $@, but when I tried to do this, I got -bash: $@: ambiguous redirect as an error message, so you may want to look into that before you get too into this (though I'm using bash 3.2.something, so maybe yours works differently).


N
Nicolas Marshall

One way that also works is putting it this way in the first line of the your target:

your-target: $(eval SHELL:=/bin/bash)
    @echo "here shell is $$0"

M
Menno Smits

If portability is important you may not want to depend on a specific shell in your Makefile. Not all environments have bash available.


p
paxdiablo

You can call bash directly within your Makefile instead of using the default shell:

bash -c "ls -al"

instead of:

ls -al

Note that make ignores the value of the environment variable SHELL.
B
Bill G

There is a way to do this without explicitly setting your SHELL variable to point to bash. This can be useful if you have many makefiles since SHELL isn't inherited by subsequent makefiles or taken from the environment. You also need to be sure that anyone who compiles your code configures their system this way.

If you run sudo dpkg-reconfigure dash and answer 'no' to the prompt, your system will not use dash as the default shell. It will then point to bash (at least in Ubuntu). Note that using dash as your system shell is a bit more efficient though.


When invoked under the name sh, bash runs in compatibility mode (set -o posix). The functionality the OP is trying to use, process substitution, is not available in this mode.
I
Ilya Bystrov

It's not a direct answer to the question, makeit is limited Makefile replacement with bash syntax and it can be useful in some cases (I'm the author)

rules can be defined as bash-functions

auto-completion feature

Basic idea is to have while loop in the end of the script:

while [ $# != 0 ]; do
  if [ "$(type -t $1)" == 'function' ]; then
    $1 
  else
    exit 1
  fi 
  shift
done

https://asciinema.org/a/435159

https://asciinema.org/a/Nvx7QOvUyMnZc8MVfKk2xETnj.svg


It's a rule that you disclose you're the author of a linked project in your answer, by the way.