instant team mailing list archive

Thread
Date

Re: [HG instant] Moved use_cache from global option to create_extension, removed global COPY_LOCAL_FILES (why was this different from USE_CACHE?).

To: Martin Sandve Alnæs <martinal@xxxxxxxxx>
From: Ilmar Wilbers <ilmarw@xxxxxxxxx>
Date: Mon, 11 Aug 2008 15:06:54 +0200
Cc: instant-dev@xxxxxxxxxx
Delivered-to: instant-dev@xxxxxxxxxx
In-reply-to: <ac3e94cf0808110605i7bc52242ja6589a0ea03811f8@mail.gmail.com>
User-agent: Thunderbird 2.0.0.16 (X11/20080724)

Hold on for a moment, will need to fix something else first.

ilmar

Martin Sandve Alnæs wrote:

2008/8/11 Instant <instant@xxxxxxxxxx>:

One or more new changesets pushed to the primary instant repository.
A short summary of the last three changesets is included below.

changeset:   180:b910c8011edd28095fb13098d9e281df04c75494
tag:         tip
user:        Ilmar Wilbers <ilmarw@xxxxxxxxx>
date:        Mon Aug 11 14:54:56 2008 +0200
files:       src/instant.py
description:
Moved use_cache from global option to create_extension, removed global COPY_LOCAL_FILES (why was this different from USE_CACHE?).


Because Anders wanted different instant-behaviour for FFC than SFC
relied on. I'm expecting that something broke now, will test...

--
Martin
_______________________________________________
Instant-dev mailing list
Instant-dev@xxxxxxxxxx
http://fenics.org/mailman/listinfo/instant-dev

References

[HG instant] Moved use_cache from global option to create_extension, removed global COPY_LOCAL_FILES (why was this different from USE_CACHE?).
From: Instant, 2008-08-11
Re: [HG instant] Moved use_cache from global option to create_extension, removed global COPY_LOCAL_FILES (why was this different from USE_CACHE?).
From: Martin Sandve Alnæs, 2008-08-11