mirror of
https://github.com/OPM/ResInsight.git
synced 2025-02-25 18:55:39 -06:00
32 lines
615 B
Python
32 lines
615 B
Python
#!/usr/bin/env python
|
|
import py_compile
|
|
import os
|
|
import os.path
|
|
import sys
|
|
import shutil
|
|
|
|
|
|
src_file = sys.argv[1]
|
|
target_file = sys.argv[2]
|
|
|
|
(target_path , tail) = os.path.split( target_file )
|
|
if not os.path.exists( target_path ):
|
|
try:
|
|
os.makedirs( target_path )
|
|
except:
|
|
# When running with make -j 4 there might be a race to create this directory.
|
|
pass
|
|
|
|
shutil.copyfile( src_file , target_file )
|
|
try:
|
|
py_compile.compile( target_file , doraise = True)
|
|
except Exception,error:
|
|
sys.exit("py_compile(%s) failed:%s" % (target_file , error))
|
|
|
|
|
|
sys.exit(0)
|
|
|
|
|
|
|
|
|