annotate inst/import_ufl_Functional.m @ 231:e3f57f92fa66

Avoid just-in-time compilation when not needed * inst/private/check_hash.m: check whether the previous compilation used the same ufl file * inst/private/save_hash.m: save to disk ufl file's md5sum for future comparison * inst/private/check_oct_files.m: ensure the expected oct files are present * inst/import_ufl_*.m: add checks using the logic above
author Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
date Sat, 14 Jun 2014 15:27:43 +0200
parents 0de6ca5e31a2
children 072aee55bb75
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
152
1dbe146bff03 Update license to gpl v3
gedeone-octave <marcovass89@hotmail.it>
parents: 148
diff changeset
1 ## Copyright (C) 2013 Marco Vassallo <gedeone-octave@users.sourceforge.net>
148
f2193e825ad7 Maint: update copyright notice
gedeone-octave <marcovass89@hotmail.it>
parents: 136
diff changeset
2 ##
109
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
3 ## This program is free software; you can redistribute it and/or modify it under
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
4 ## the terms of the GNU General Public License as published by the Free Software
152
1dbe146bff03 Update license to gpl v3
gedeone-octave <marcovass89@hotmail.it>
parents: 148
diff changeset
5 ## Foundation; either version 3 of the License, or (at your option) any later
109
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
6 ## version.
148
f2193e825ad7 Maint: update copyright notice
gedeone-octave <marcovass89@hotmail.it>
parents: 136
diff changeset
7 ##
109
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
8 ## This program is distributed in the hope that it will be useful, but WITHOUT
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
9 ## ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
10 ## FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
11 ## details.
148
f2193e825ad7 Maint: update copyright notice
gedeone-octave <marcovass89@hotmail.it>
parents: 136
diff changeset
12 ##
109
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
13 ## You should have received a copy of the GNU General Public License along with
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
14 ## this program; if not, see <http://www.gnu.org/licenses/>.
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
15
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
16 ## -*- texinfo -*-
181
0de6ca5e31a2 Fix error in the previously modified documentation.
gedeone-octave <marcovass89@hotmail.it>
parents: 179
diff changeset
17 ## @deftypefn {Function File} {} = import_ufl_Functional (@var{myproblem})
179
8190736845fe Update the Function description for the code release.
gedeone-octave <marcovass89@hotmail.it>
parents: 154
diff changeset
18 ## Import a Functional from a ufl file.
181
0de6ca5e31a2 Fix error in the previously modified documentation.
gedeone-octave <marcovass89@hotmail.it>
parents: 179
diff changeset
19 ##
179
8190736845fe Update the Function description for the code release.
gedeone-octave <marcovass89@hotmail.it>
parents: 154
diff changeset
20 ## @var{myproblem} is the name of the ufl file where
8190736845fe Update the Function description for the code release.
gedeone-octave <marcovass89@hotmail.it>
parents: 154
diff changeset
21 ## the Functional is defined. This function creates in the pwd a file
8190736845fe Update the Function description for the code release.
gedeone-octave <marcovass89@hotmail.it>
parents: 154
diff changeset
22 ## called @var{myproblem_Functional.oct}.
181
0de6ca5e31a2 Fix error in the previously modified documentation.
gedeone-octave <marcovass89@hotmail.it>
parents: 179
diff changeset
23 ##
179
8190736845fe Update the Function description for the code release.
gedeone-octave <marcovass89@hotmail.it>
parents: 154
diff changeset
24 ## @seealso{import_ufl_Problem, FunctionSpace, BilinearForm, LinearForm,
8190736845fe Update the Function description for the code release.
gedeone-octave <marcovass89@hotmail.it>
parents: 154
diff changeset
25 ## Functional}
109
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
26 ## @end deftypefn
136
c445cdf36fb1 Fix new naming convention for the generation of the problem from .ufl file.
gedeone-octave <marcovass89@hotmail.it>
parents: 109
diff changeset
27 function import_ufl_Functional (var_prob)
109
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
28
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
29 if nargin != 1
136
c445cdf36fb1 Fix new naming convention for the generation of the problem from .ufl file.
gedeone-octave <marcovass89@hotmail.it>
parents: 109
diff changeset
30 error ("import_ufl_Functional: wrong number of input parameters.");
109
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
31 elseif ! ischar (var_prob)
136
c445cdf36fb1 Fix new naming convention for the generation of the problem from .ufl file.
gedeone-octave <marcovass89@hotmail.it>
parents: 109
diff changeset
32 error ("import_ufl_Functional: first argument is not a valid string");
109
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
33 endif
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
34
231
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
35 if (check_hash (var_prob) || ! check_oct_files (var_prob, "Functional"))
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
36 n = length (mfilename ("fullpath")) - length (mfilename());
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
37 path = strtrunc(mfilename ("fullpath"), n);
109
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
38
231
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
39 private = fullfile (path, "include/");
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
40 output = generate_fun (var_prob);
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
41 output += generate_makefile (var_prob, private);
109
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
42 if output != 0
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
43 error ("Compilation failed");
231
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
44 else
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
45 [output, textfile] = system (sprintf ("make -f Makefile_%s fun", var_prob));
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
46 if output != 0
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
47 display (text);
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
48 error ("Compilation failed");
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
49 endif
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
50 [output, textfile] = system (sprintf ("make -f Makefile_%s clean", var_prob));
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
51 if output != 0
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
52 display (text);
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
53 error ("Compilation failed");
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
54 endif
e3f57f92fa66 Avoid just-in-time compilation when not needed
Eugenio Gianniti <eugenio.gianniti@mail.polimi.it>
parents: 181
diff changeset
55 save_hash (var_prob);
109
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
56 endif
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
57 endif
50753c3cb0b6 New function for dealing with form of rank 0.
gedeone-octave <marcovass89@hotmail.it>
parents:
diff changeset
58 endfunction