[petsc-dev] automatically updated git sample repositories

[Barry Smith]

On May 22, 2014, at 10:00 PM, Jed Brown <jed at jedbrown.org> wrote:

> Barry Smith <bsmith at mcs.anl.gov> writes:
>>> I proposed putting them in a different place because we don't want those
>>> big makefiles.
>> 
>>   NO NO NO you misunderstand. The mini repositories would have
>>   mirrored source code but NOT mirrored makefiles, they would have
>>   simple makefiles.
> 
> Why do you want different makefiles in the different repos?

   Because I want the user to get a simple makefile, obviously.  The long term solution is to have simple makefiles in the examples directories but that has not happened yet, so a few months of “extra” makefiles seems the right compromise until we have simple makefiles.

  Barry

> 
> This is technically achievable, but I think we still have to worry about
> people copying the example out of the source tree into ClearCase,
> running ACME Eye Drops, and sending us winmail.dat.  One less layer to
> unwrap if the makefile is the same in both places.