| 123456789101112131415161718192021 |
- $OpenBSD: patch-p9m4_files_py,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
- --- files.py.orig Fri Dec 7 21:46:28 2007
- +++ files.py Tue Jan 18 12:23:50 2011
- @@ -63,13 +63,13 @@ def bin():
- return 'bin'
-
- def bin_dir():
- - return os.path.join(program_dir(), bin())
- + return '${TRUEPREFIX}/libexec/prover9/'
-
- def image_dir():
- - return os.path.join(program_dir(), 'Images')
- + return '${TRUEPREFIX}/share/p9m4/Images/'
-
- def sample_dir():
- - return os.path.join(program_dir(), 'Samples')
- + return '${TRUEPREFIX}/share/p9m4/Samples/'
-
- def binary_ok(fullpath):
- if not fullpath:
|
