Skip to content
Snippets Groups Projects
Select Git revision
No matching results
An error occurred while fetching branches. Retry the search.
An error occurred while fetching tags. Retry the search.
Blame Permalink
  • Giovanni Bussi's avatar
    1221e3e1
    Moved plumed2/include dir to plumed2/src/include · 1221e3e1
    Giovanni Bussi authored 
    This include dir is used when using not-installed plumed.
Before this fix, using
./configure --prefix=$PWD
was leading to problems related to the overlap between
installed include files and this directory.
After this fix, it will be possible to configure plumed with
./configure --prefix=$PWD
    1221e3e1
    History
    Moved plumed2/include dir to plumed2/src/include
    Giovanni Bussi authored 
    This include dir is used when using not-installed plumed.
Before this fix, using
./configure --prefix=$PWD
was leading to problems related to the overlap between
installed include files and this directory.
After this fix, it will be possible to configure plumed with
./configure --prefix=$PWD
Code owners
Assign users and groups as approvers for specific file changes. Learn more.