larsyencken/marelle — pull request #6 by pmoura (2013-08-22 10:10:04+00:00)
Title: Deal with changes in recent SWI-Prolog versions regarding the `argv` flag

In SWI-Prolog 6.5.1 and later, the Prolog flag `argv` only provides user arguments but all command-line arguments are still available using the new flag `os_argv`.