Since /usr/local is where ports live, it's reasonable to assume
that a grep binary found in there will have been installed via
ports and will thus be GNU grep.
Suggested-by: Erik Skultety <eskultet@redhat.com>
Signed-off-by: Andrea Bolognani <abologna@redhat.com>
Reviewed-by: Erik Skultety <eskultet@redhat.com>
if not grep_prog.found()
error('GNU grep not found')
endif
- grep_cmd = run_command(grep_prog, '--version')
- if grep_cmd.stdout().startswith('grep (BSD grep')
- error('GNU grep not found')
- endif
endif
elif host_machine.system() == 'darwin'
grep_prog = find_program('ggrep')