annotate run_pasta.py @ 11:a2b29eb5459d draft

Uploaded
author greg
date Mon, 10 Apr 2017 13:49:04 -0400
parents 6accbd3a1449
children 3b80ba2c0fd1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
6accbd3a1449 Uploaded
greg
parents:
diff changeset
1 #! /usr/bin/env python
6accbd3a1449 Uploaded
greg
parents:
diff changeset
2
6accbd3a1449 Uploaded
greg
parents:
diff changeset
3 """Main script of PASTA in command-line mode - this simply invokes the main
6accbd3a1449 Uploaded
greg
parents:
diff changeset
4 function found in pasta/mainpasta.py
6accbd3a1449 Uploaded
greg
parents:
diff changeset
5 """
6accbd3a1449 Uploaded
greg
parents:
diff changeset
6
6accbd3a1449 Uploaded
greg
parents:
diff changeset
7 # This file is part of PASTA which is forked from SATe
6accbd3a1449 Uploaded
greg
parents:
diff changeset
8
6accbd3a1449 Uploaded
greg
parents:
diff changeset
9 # PASTA like SATe is free software: you can redistribute it and/or modify
6accbd3a1449 Uploaded
greg
parents:
diff changeset
10 # it under the terms of the GNU General Public License as published by
6accbd3a1449 Uploaded
greg
parents:
diff changeset
11 # the Free Software Foundation, either version 3 of the License, or
6accbd3a1449 Uploaded
greg
parents:
diff changeset
12 # (at your option) any later version.
6accbd3a1449 Uploaded
greg
parents:
diff changeset
13 #
6accbd3a1449 Uploaded
greg
parents:
diff changeset
14 # This program is distributed in the hope that it will be useful,
6accbd3a1449 Uploaded
greg
parents:
diff changeset
15 # but WITHOUT ANY WARRANTY; without even the implied warranty of
6accbd3a1449 Uploaded
greg
parents:
diff changeset
16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
6accbd3a1449 Uploaded
greg
parents:
diff changeset
17 # GNU General Public License for more details.
6accbd3a1449 Uploaded
greg
parents:
diff changeset
18 #
6accbd3a1449 Uploaded
greg
parents:
diff changeset
19 # You should have received a copy of the GNU General Public License
6accbd3a1449 Uploaded
greg
parents:
diff changeset
20 # along with this program. If not, see <http://www.gnu.org/licenses/>.
6accbd3a1449 Uploaded
greg
parents:
diff changeset
21
6accbd3a1449 Uploaded
greg
parents:
diff changeset
22 # Jiaye Yu and Mark Holder, University of Kansas
6accbd3a1449 Uploaded
greg
parents:
diff changeset
23
6accbd3a1449 Uploaded
greg
parents:
diff changeset
24 if __name__ == "__main__":
6accbd3a1449 Uploaded
greg
parents:
diff changeset
25 import os
6accbd3a1449 Uploaded
greg
parents:
diff changeset
26 import sys
6accbd3a1449 Uploaded
greg
parents:
diff changeset
27 from pasta.mainpasta import pasta_main
6accbd3a1449 Uploaded
greg
parents:
diff changeset
28 from pasta import MESSENGER
6accbd3a1449 Uploaded
greg
parents:
diff changeset
29 sys.setrecursionlimit(100000)
6accbd3a1449 Uploaded
greg
parents:
diff changeset
30 _PASTA_DEBUG = os.environ.get('PASTA_DEBUG')
6accbd3a1449 Uploaded
greg
parents:
diff changeset
31 _DEVELOPER = _PASTA_DEBUG and _PASTA_DEBUG != '0'
6accbd3a1449 Uploaded
greg
parents:
diff changeset
32
6accbd3a1449 Uploaded
greg
parents:
diff changeset
33 if not _DEVELOPER:
6accbd3a1449 Uploaded
greg
parents:
diff changeset
34 _PASTA_DEVELOPER = os.environ.get('PASTA_DEVELOPER')
6accbd3a1449 Uploaded
greg
parents:
diff changeset
35 _DEVELOPER = _PASTA_DEVELOPER and _PASTA_DEVELOPER != '0'
6accbd3a1449 Uploaded
greg
parents:
diff changeset
36 try:
6accbd3a1449 Uploaded
greg
parents:
diff changeset
37 rc, temp_dir, temp_fs = pasta_main()
6accbd3a1449 Uploaded
greg
parents:
diff changeset
38 if not rc:
6accbd3a1449 Uploaded
greg
parents:
diff changeset
39 raise ValueError("Unknown PASTA execution error")
6accbd3a1449 Uploaded
greg
parents:
diff changeset
40 if (temp_dir is not None) and (os.path.exists(temp_dir)):
6accbd3a1449 Uploaded
greg
parents:
diff changeset
41 MESSENGER.send_info("Note that temporary files from the run have not been deleted, they can be found in:\n '%s'\n" % temp_dir)
6accbd3a1449 Uploaded
greg
parents:
diff changeset
42 if sys.platform.lower().startswith('darwin') and ("'" not in temp_dir):
6accbd3a1449 Uploaded
greg
parents:
diff changeset
43 MESSENGER.send_info('''
6accbd3a1449 Uploaded
greg
parents:
diff changeset
44 If you cannot see this directory in the Finder application, you may want to use
6accbd3a1449 Uploaded
greg
parents:
diff changeset
45 the 'open' command executed from a Terminal. You can do this by launching the
6accbd3a1449 Uploaded
greg
parents:
diff changeset
46 /Applications/Utilities/Terminal program and then typing
6accbd3a1449 Uploaded
greg
parents:
diff changeset
47
6accbd3a1449 Uploaded
greg
parents:
diff changeset
48 open '%s'
6accbd3a1449 Uploaded
greg
parents:
diff changeset
49
6accbd3a1449 Uploaded
greg
parents:
diff changeset
50 followed by a return at the prompt. If the argument to the open command is a
6accbd3a1449 Uploaded
greg
parents:
diff changeset
51 directory, then it should open a Finder window in the directory (even if that
6accbd3a1449 Uploaded
greg
parents:
diff changeset
52 directory is hidden by default).
6accbd3a1449 Uploaded
greg
parents:
diff changeset
53 ''' % temp_dir)
6accbd3a1449 Uploaded
greg
parents:
diff changeset
54 except Exception, x:
6accbd3a1449 Uploaded
greg
parents:
diff changeset
55 if _DEVELOPER:
6accbd3a1449 Uploaded
greg
parents:
diff changeset
56 raise
6accbd3a1449 Uploaded
greg
parents:
diff changeset
57 message = "PASTA is exiting because of an error:\n%s " % str(x)
6accbd3a1449 Uploaded
greg
parents:
diff changeset
58 try:
6accbd3a1449 Uploaded
greg
parents:
diff changeset
59 from pasta import MESSENGER
6accbd3a1449 Uploaded
greg
parents:
diff changeset
60 MESSENGER.send_error(message)
6accbd3a1449 Uploaded
greg
parents:
diff changeset
61 except:
6accbd3a1449 Uploaded
greg
parents:
diff changeset
62 sys.stderr.write(message)
6accbd3a1449 Uploaded
greg
parents:
diff changeset
63 sys.exit(1)