Skip to content
Snippets Groups Projects
Commit ad69b472 authored by Mark OLESEN's avatar Mark OLESEN
Browse files

BUG: makeCGAL with specified version installs into the wrong directory

- was applied precision-specific information:
    * instead of linux64Gcc [correct]
    * was using  linux64GccInt32 [wrong]

  This problem does not the regular use where CGAL is defined from
  etc/config.sh/CGAL since the CGAL_ARCH_PATH specified there was properly
  respected.
parent 525f3f4e
No related merge requests found
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment