equal
deleted
inserted
replaced
1 ## -*- Mode: python; py-indent-offset: 4; indent-tabs-mode: nil; coding: utf-8; -*- |
1 ## -*- Mode: python; py-indent-offset: 4; indent-tabs-mode: nil; coding: utf-8; -*- |
2 import os |
2 import os |
3 import sys |
3 import sys |
4 import shlex |
4 import shlex |
|
5 import shutil |
5 |
6 |
6 import Params |
7 import Params |
7 import Object |
8 import Object |
8 import pproc as subprocess |
9 import pproc as subprocess |
9 |
10 |
15 |
16 |
16 # these variables are mandatory ('/' are converted automatically) |
17 # these variables are mandatory ('/' are converted automatically) |
17 srcdir = '.' |
18 srcdir = '.' |
18 blddir = 'build' |
19 blddir = 'build' |
19 |
20 |
|
21 def dist_hook(srcdir, blddir): |
|
22 shutil.rmtree("doc/html") |
|
23 shutil.rmtree("doc/latex") |
20 |
24 |
21 def set_options(opt): |
25 def set_options(opt): |
22 # options provided by the modules |
26 # options provided by the modules |
23 opt.tool_options('compiler_cxx') |
27 opt.tool_options('compiler_cxx') |
24 |
28 |