[petsc-dev] "make install" installs HTML files in $PREFIX/include

[Barry Smith]

> On Jun 7, 2016, at 1:04 PM, Lisandro Dalcin <dalcinl at gmail.com> wrote:
> 
> On 7 June 2016 at 20:02, Barry Smith <bsmith at mcs.anl.gov> wrote:
>>>> rm -f  $PREFIX/lib/$PKG_NAME/conf/files
>> 
>>   Are you referring to files such as pkg.conf.*  or pkg.gitcommit.* ?  What specific files do you not like
> 
> Sorry, $PKG_NAME is either petsc or slepc.
> 
> So, the files I do not like are:
> 
> $PREFIX/lib/petsc/conf/files
> $PREFIX/lib/petsc/conf/PETScBuildInternal.cmake

   Unless Jed has a particular reason for keeping the above files I agree they shouldn't be copied over.

  Barry

> 
> and the ones I'm not sure about are:
> 
> $PREFIX/lib/petsc/conf/*.log
> $PREFIX/lib/petsc/conf/RDict.db
> 
> -- 
> Lisandro Dalcin
> ============
> Research Scientist
> Computer, Electrical and Mathematical Sciences & Engineering (CEMSE)
> Extreme Computing Research Center (ECRC)
> King Abdullah University of Science and Technology (KAUST)
> http://ecrc.kaust.edu.sa/
> 
> 4700 King Abdullah University of Science and Technology
> al-Khawarizmi Bldg (Bldg 1), Office # 0109
> Thuwal 23955-6900, Kingdom of Saudi Arabia
> http://www.kaust.edu.sa
> 
> Office Phone: +966 12 808-0459