Philipp,
> I tried your entries for the .bash_rc:
> Felix: PATH=$HOME/bin:$PATH
> Bruno: export PATH=HOME/Programme/cmake-2.8.11.2-Linux-i386/bin:$PATH
>
> I normally write it like that (because someone told me to do it that
> way):
> PATH=$PATH:/$HOME/Programme/cmake-2.8.11.2-Linux-i386/bin
> export PATH
>
> Which version is correct / is there a difference?
They are all correct but it is usually better to put $PATH add the end.
The reason is the following: let say that in the default path of the
system, there is already a cmake, now in your path you have two cmake.
The default cmake will be used because it is the first to appear in the
path. If you put $PATH at the end, then the cmake that you have install
will be chosen.
>
> After that I reloaded the bash with the command "exec bash".
> All three versions result in the following output:
> psiehr@sim07:~/Programme/deal.II_800/build$ cmake
> -DCMAKE_INSTALL_PREFIX=../../deal.II_800/ ../deal.II
> CMake Error at CMakeLists.txt:34 (CMAKE_MINIMUM_REQUIRED):
> CMake 2.8.8 or higher is required. You are running version 2.8.7
> -- Configuring incomplete, errors occurred!
>
>
> Any ideas where the error might be located?
You should modify the path, then do "source ~/.bashrc" After that you
can do "cmake --version" to check that your system uses the right
version of cmake. The last thing to do is to delete the build directory
of deal.II and to try to compile deal.II. The reason why you want to
delete the directory is because cmake uses a cache file and it could be
that cmake just look at the cache file to find the cmake version that
you are using instead of trying to find the new cmake.
Best
Bruno
>
>
>
> --
> The deal.II project is located at
http://www.dealii.org/
> For mailing list/forum options, see
>
https://groups.google.com/d/forum/dealii?hl=en
> ---
> You received this message because you are subscribed to a topic in the
> Google Groups "deal.II User Group" group.
> To unsubscribe from this topic, visit
>
https://groups.google.com/d/topic/dealii/Z1QY0wxaxUw/unsubscribe.
> To unsubscribe from this group and all its topics, send an email to
>
dealii+un...@googlegroups.com.
> For more options, visit
https://groups.google.com/groups/opt_out.