Changeset 34346

Show
Ignore:
Timestamp:
11.09.2020 15:25:00 (3 weeks ago)
Author:
davidb
Message:

Further dir that needs to be installed as a header file area

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • gs3-extensions/mars-src/trunk/packages/CASCADE-MAKE/EIGEN3.sh

    r34344 r34346  
    1212opt_run_untar $force_untar $auto_untar $package $version 
    1313 
     14#opt_run_configure $force_config $auto_config $package $version $prefix  
    1415if [ $force_config = "1" ] ; then 
    1516  echo "$progname: Nothing needs to be configured for $package$version" 
     
    2223 
    2324#opt_run_make $install $package $version "install" 
    24 if [ $compile = "1" ] ; then 
     25if [ $install = "1" ] ; then 
    2526  if [ ! -d "$GEXT_MARS_INSTALLED/include" ] ; then 
    2627      echo "Making directory: $GEXT_MARS_INSTALLED/include" 
     
    3031  echo "Installing header files to $GEXT_MARS_INSTALLED/included/"  
    3132  /bin/cp -r "$package$version/Eigen" "$GEXT_MARS_INSTALLED/include/" 
     33  /bin/cp -r "$package$version/unsupported" "$GEXT_MARS_INSTALLED/include/" 
    3234 
    3335  if [ ! -d "$GEXT_MARS_INSTALLED/pkgconfig" ] ; then