[arts-dev] Generating arts_theory.stage1 fails with: No such file or directory
Hi all,
When building ARTS, the task "Generating arts_theory.stage1" fails with:
/bin/sh: PATH:/usr/bin:: No such file or directory
See verbose output in the attachment. For me, just removing the path in
front of the makeindex command resolves the problem (see attached
patch). Maybe there are better solutions. I think this has been around
for quite a while, until now we just ignored the error, as the important
parts are being built before this error happens. Maybe this is useful to
somebody.
Best regards,
Jonas Hagen
[ 33%] Generating arts_theory.stage1
cd /arts/build/doc/uguide/arts_theory && /usr/bin/cmake -E
remove -f arts_theory.log
cd /arts/build/doc/uguide/arts_theory &&
TEXINPUTS=.:..:/arts/doc/uguide: save_size=15000
/usr/bin/pdflatex -interaction nonstopmode -halt-on-error arts_theory >>
/arts/build/doc/uguide/arts_theory.log || (cat arts_theory.log
&& exit 1)
cd /arts/build/doc/uguide/arts_theory &&
"PATH=:/usr/bin:" /usr/bin/makeindex -q arts_theory.idx >>
/arts/build/doc/uguide/arts_theory.log
/bin/sh: PATH:/usr/bin:: No such file or directory
doc/uguide/CMakeFiles/arts_theory-stage1.dir/build.make:141: recipe for target
'doc/uguide/arts_theory.stage1' failed
make[3]: *** [doc/uguide/arts_theory.stage1] Error 127
make[3]: Leaving directory '/arts/build'
CMakeFiles/Makefile2:2289: recipe for target
'doc/uguide/CMakeFiles/arts_theory-stage1.dir/all' failed
make[2]: *** [doc/uguide/CMakeFiles/arts_theory-stage1.dir/all] Error 2
make[2]: Leaving directory '/arts/build'
CMakeFiles/Makefile2:2374: recipe for target
'doc/uguide/CMakeFiles/arts_theory.dir/rule' failed
make[1]: *** [doc/uguide/CMakeFiles/arts_theory.dir/rule] Error 2
make[1]: Leaving directory '/arts/build'
Makefile:849: recipe for target 'arts_theory' failed
make: *** [arts_theory] Error 2
Index: cmake/modules/ArtsBuildTexDoc.cmake
===
--- cmake/modules/ArtsBuildTexDoc.cmake (revision 10902)
+++ cmake/modules/ArtsBuildTexDoc.cmake (working copy)
@@ -11,7 +12,7 @@
set (PDFLATEX_COMMAND "TEXINPUTS=.:..:${CMAKE_CURRENT_SOURCE_DIR}:"
"save_size=15000" ${PDFLATEX_COMPILER} ${PDFLATEX_OPTIONS} ${TARGET}
${PDFLATEX_LOGGING} ${LOG_OUTPUT})
- set (MAKEINDEX_COMMAND "PATH=$ENV{PATH}:${MAKEINDEX_PATH}"
+ set (MAKEINDEX_COMMAND
${MAKEINDEX_COMPILER} "-q" "${TARGET}.idx" ${PDFLATEX_LOGGING})
set (BIBTEX_COMMAND "BSTINPUTS=.:${CMAKE_CURRENT_SOURCE_DIR}:"
"BIBINPUTS=.:${CMAKE_CURRENT_SOURCE_DIR}:" "save_size=15000"
___
arts_dev.mi mailing list
arts_dev.mi@lists.uni-hamburg.de
https://mailman.rrz.uni-hamburg.de/mailman/listinfo/arts_dev.mi
Re: [arts-dev] Generating arts_theory.stage1 fails with: No such file or directory
Hi Jonas,
Thanks for the feedback. I'm curious why this happens in your case. On which
operating system are you? Is your makeindex command located in /usr/bin ('which
makeindex')?
Cheers,
Oliver
> On 5 Mar 2018, at 12:04, Jonas Hagen wrote:
>
> Hi all,
>
> When building ARTS, the task "Generating arts_theory.stage1" fails with:
>
> /bin/sh: PATH:/usr/bin:: No such file or directory
>
> See verbose output in the attachment. For me, just removing the path in front
> of the makeindex command resolves the problem (see attached patch). Maybe
> there are better solutions. I think this has been around for quite a while,
> until now we just ignored the error, as the important parts are being built
> before this error happens. Maybe this is useful to somebody.
>
> Best regards,
> Jonas Hagen
>
>
> ___
> arts_dev.mi mailing list
> arts_dev.mi@lists.uni-hamburg.de
> https://mailman.rrz.uni-hamburg.de/mailman/listinfo/arts_dev.mi
___
arts_dev.mi mailing list
arts_dev.mi@lists.uni-hamburg.de
https://mailman.rrz.uni-hamburg.de/mailman/listinfo/arts_dev.mi
Re: [arts-dev] Generating arts_theory.stage1 fails with: No such file or directory
Hi Oliver
I'm using Ubuntu 16.04 LTS and the bash shell. The problem is that the
PATH= assignment in front of the makeindex command is in quotes. In bash
this does not work:
user@host:/$ "VAR=value" ls
VAR=value: command not found
whereas this does work:
user@host:/$ VAR=value ls
...
I could not figure out how to make proper quoting. But the PATH
assignment is not needed in front of makeindex, as it is called with an
absolute path.
Cheers,
Jonas
On 06.03.2018 07:06, Oliver Lemke wrote:
Hi Jonas,
Thanks for the feedback. I'm curious why this happens in your case. On which
operating system are you? Is your makeindex command located in /usr/bin ('which
makeindex')?
Cheers,
Oliver
On 5 Mar 2018, at 12:04, Jonas Hagen wrote:
Hi all,
When building ARTS, the task "Generating arts_theory.stage1" fails with:
/bin/sh: PATH:/usr/bin:: No such file or directory
See verbose output in the attachment. For me, just removing the path in front
of the makeindex command resolves the problem (see attached patch). Maybe there
are better solutions. I think this has been around for quite a while, until now
we just ignored the error, as the important parts are being built before this
error happens. Maybe this is useful to somebody.
Best regards,
Jonas Hagen
___
arts_dev.mi mailing list
arts_dev.mi@lists.uni-hamburg.de
https://mailman.rrz.uni-hamburg.de/mailman/listinfo/arts_dev.mi
--
Jonas Hagen
Institute of Applied Physics
University of Bern
Sidlerstr. 5, CH-3012 Bern, Switzerland
Tel: +41 31 631 8923
___
arts_dev.mi mailing list
arts_dev.mi@lists.uni-hamburg.de
https://mailman.rrz.uni-hamburg.de/mailman/listinfo/arts_dev.mi
Re: [arts-dev] Generating arts_theory.stage1 fails with: No such file or directory
True, that the quotes screw it up. But the question is why they appear for you,
but not for others. This is the first time I hear about this problem. That's
what confuses me and I'm trying to wrap my head around what triggers this
issue. :-)
Which cmake version do you use?
Cheers,
Oliver
> On 6 Mar 2018, at 11:17, Jonas Hagen wrote:
>
> Hi Oliver
>
> I'm using Ubuntu 16.04 LTS and the bash shell. The problem is that the PATH=
> assignment in front of the makeindex command is in quotes. In bash this does
> not work:
>
> user@host:/$ "VAR=value" ls
> VAR=value: command not found
>
> whereas this does work:
>
> user@host:/$ VAR=value ls
> ...
>
> I could not figure out how to make proper quoting. But the PATH assignment is
> not needed in front of makeindex, as it is called with an absolute path.
>
> Cheers,
> Jonas
>
>
> On 06.03.2018 07:06, Oliver Lemke wrote:
>> Hi Jonas,
>>
>> Thanks for the feedback. I'm curious why this happens in your case. On which
>> operating system are you? Is your makeindex command located in /usr/bin
>> ('which makeindex')?
>>
>> Cheers,
>> Oliver
>>
>>
>>> On 5 Mar 2018, at 12:04, Jonas Hagen wrote:
>>>
>>> Hi all,
>>>
>>> When building ARTS, the task "Generating arts_theory.stage1" fails with:
>>>
>>> /bin/sh: PATH:/usr/bin:: No such file or directory
>>>
>>> See verbose output in the attachment. For me, just removing the path in
>>> front of the makeindex command resolves the problem (see attached patch).
>>> Maybe there are better solutions. I think this has been around for quite a
>>> while, until now we just ignored the error, as the important parts are
>>> being built before this error happens. Maybe this is useful to somebody.
>>>
>>> Best regards,
>>> Jonas Hagen
>>>
>>>
>>> ___
>>> arts_dev.mi mailing list
>>> arts_dev.mi@lists.uni-hamburg.de
>>> https://mailman.rrz.uni-hamburg.de/mailman/listinfo/arts_dev.mi
>
> --
> Jonas Hagen
> Institute of Applied Physics
> University of Bern
> Sidlerstr. 5, CH-3012 Bern, Switzerland
> Tel: +41 31 631 8923
>
___
arts_dev.mi mailing list
arts_dev.mi@lists.uni-hamburg.de
https://mailman.rrz.uni-hamburg.de/mailman/listinfo/arts_dev.mi
Re: [arts-dev] Generating arts_theory.stage1 fails with: No such file or directory
Ah, my PATH contained a ~ character which made cmake to quote the whole
string. Obviously this is a bad thing to have and should be avoided.
Funny that this never was a problem except with arts theory build.
Thanks for asking the questions!
BTW: I use cmake 3.5.1 (from March 2016) which is the current version in
the Ubuntu 16.04 LTS repos.
Cheers,
Jonas
On 06.03.2018 11:26, Oliver Lemke wrote:
True, that the quotes screw it up. But the question is why they appear for you,
but not for others. This is the first time I hear about this problem. That's
what confuses me and I'm trying to wrap my head around what triggers this
issue. :-)
Which cmake version do you use?
Cheers,
Oliver
On 6 Mar 2018, at 11:17, Jonas Hagen wrote:
Hi Oliver
I'm using Ubuntu 16.04 LTS and the bash shell. The problem is that the PATH=
assignment in front of the makeindex command is in quotes. In bash this does
not work:
user@host:/$ "VAR=value" ls
VAR=value: command not found
whereas this does work:
user@host:/$ VAR=value ls
...
I could not figure out how to make proper quoting. But the PATH assignment is
not needed in front of makeindex, as it is called with an absolute path.
Cheers,
Jonas
On 06.03.2018 07:06, Oliver Lemke wrote:
Hi Jonas,
Thanks for the feedback. I'm curious why this happens in your case. On which
operating system are you? Is your makeindex command located in /usr/bin ('which
makeindex')?
Cheers,
Oliver
On 5 Mar 2018, at 12:04, Jonas Hagen wrote:
Hi all,
When building ARTS, the task "Generating arts_theory.stage1" fails with:
/bin/sh: PATH:/usr/bin:: No such file or directory
See verbose output in the attachment. For me, just removing the path in front
of the makeindex command resolves the problem (see attached patch). Maybe there
are better solutions. I think this has been around for quite a while, until now
we just ignored the error, as the important parts are being built before this
error happens. Maybe this is useful to somebody.
Best regards,
Jonas Hagen
___
arts_dev.mi mailing list
arts_dev.mi@lists.uni-hamburg.de
https://mailman.rrz.uni-hamburg.de/mailman/listinfo/arts_dev.mi
--
Jonas Hagen
Institute of Applied Physics
University of Bern
Sidlerstr. 5, CH-3012 Bern, Switzerland
Tel: +41 31 631 8923
--
Jonas Hagen
Institute of Applied Physics
University of Bern
Sidlerstr. 5, CH-3012 Bern, Switzerland
Tel: +41 31 631 8923
___
arts_dev.mi mailing list
arts_dev.mi@lists.uni-hamburg.de
https://mailman.rrz.uni-hamburg.de/mailman/listinfo/arts_dev.mi
Re: [arts-dev] Generating arts_theory.stage1 fails with: No such file or directory
Ah, ok. Yes, that explains it. ~ is only meant for interactive use, everywhere
else $HOME is the way to go. Thanks again for your feedback to get to the
bottom of this issue. I'll remove the extra PATH assignment anyway in an
upcoming commit because as you pointed out, it's not needed there.
Cheers,
Oliver
> On 6 Mar 2018, at 14:40, Jonas Hagen wrote:
>
> Ah, my PATH contained a ~ character which made cmake to quote the whole
> string. Obviously this is a bad thing to have and should be avoided. Funny
> that this never was a problem except with arts theory build.
>
> Thanks for asking the questions!
>
> BTW: I use cmake 3.5.1 (from March 2016) which is the current version in the
> Ubuntu 16.04 LTS repos.
>
> Cheers,
> Jonas
>
>
> On 06.03.2018 11:26, Oliver Lemke wrote:
>> True, that the quotes screw it up. But the question is why they appear for
>> you, but not for others. This is the first time I hear about this problem.
>> That's what confuses me and I'm trying to wrap my head around what triggers
>> this issue. :-)
>>
>> Which cmake version do you use?
>>
>> Cheers,
>> Oliver
>>
>>
>>> On 6 Mar 2018, at 11:17, Jonas Hagen wrote:
>>>
>>> Hi Oliver
>>>
>>> I'm using Ubuntu 16.04 LTS and the bash shell. The problem is that the
>>> PATH= assignment in front of the makeindex command is in quotes. In bash
>>> this does not work:
>>>
>>> user@host:/$ "VAR=value" ls
>>> VAR=value: command not found
>>>
>>> whereas this does work:
>>>
>>> user@host:/$ VAR=value ls
>>> ...
>>>
>>> I could not figure out how to make proper quoting. But the PATH assignment
>>> is not needed in front of makeindex, as it is called with an absolute path.
>>>
>>> Cheers,
>>> Jonas
>>>
>>>
>>> On 06.03.2018 07:06, Oliver Lemke wrote:
Hi Jonas,
Thanks for the feedback. I'm curious why this happens in your case. On
which operating system are you? Is your makeindex command located in
/usr/bin ('which makeindex')?
Cheers,
Oliver
> On 5 Mar 2018, at 12:04, Jonas Hagen wrote:
>
> Hi all,
>
> When building ARTS, the task "Generating arts_theory.stage1" fails with:
>
> /bin/sh: PATH:/usr/bin:: No such file or directory
>
> See verbose output in the attachment. For me, just removing the path in
> front of the makeindex command resolves the problem (see attached patch).
> Maybe there are better solutions. I think this has been around for quite
> a while, until now we just ignored the error, as the important parts are
> being built before this error happens. Maybe this is useful to somebody.
>
> Best regards,
> Jonas Hagen
>
>
> ___
> arts_dev.mi mailing list
> arts_dev.mi@lists.uni-hamburg.de
> https://mailman.rrz.uni-hamburg.de/mailman/listinfo/arts_dev.mi
___
arts_dev.mi mailing list
arts_dev.mi@lists.uni-hamburg.de
https://mailman.rrz.uni-hamburg.de/mailman/listinfo/arts_dev.mi
