[CMake] Name of output file

[Jan Woetzel]

Filipe Sousa wrote:

>
>two alternatives: 1) rename your hand-written makefile to something else
>and use make -f 2) replace you makefile with CMakeLists.txt and use cmake.
>
>  
>
or
(3) use out-of source builds.

Jan.

-- 

  Dipl.-Ing. Jan Woetzel
--------------------------------------------------
  University of Kiel
  Institute of Computer Science and Applied Mathematics
  Hermann-Rodewald-Str. 3 [room 310]
  24098 Kiel/Germany
--------------------------------------------------
  Phone +49-431-880-4477
  Fax   +49-431-880-4054
  Mob.  +49-179-2937346
--------------------------------------------------
  Url   www.mip.informatik.uni-kiel.de/~jw
  Email jw at mip.informatik.uni-kiel.de