Closed tkoskela closed 8 months ago
Would it make sense to do the following?
src/system.make
in gitignore
system.make
templates (ex: system.make.ubuntu20.04
, system.make.wsl
, system.make.somesystem
, etc. + a generic system.make
makefile) system.make
in the documentation.
At the moment, the user needs to make local changes to
system.make
to build on different systems with different compilers, library paths, etc. This causes a lot of faff with git not being able to deal with local changes. My suggestion is: keep version controlled versions ofsystem.make
for machines we commonly run on, perhaps in a separate subdirectory. Modify the makefile so that it attempts to detect the machine it is building on (e.g. withhostname -d
, or something similar) and include the correctsystem.make
for that machine.