version 1.17, 2010/08/26 11:19:04 |
version 1.19, 2016/09/23 05:54:44 |
Line 46 dist-cfep: gentar install |
|
Line 46 dist-cfep: gentar install |
|
-cp install.txt work |
-cp install.txt work |
(cd work ; (cd ${OpenXM_HOME}/.. ; \ |
(cd work ; (cd ${OpenXM_HOME}/.. ; \ |
tar cf - OpenXM/lib/libgc* OpenXM/lib/libgmp* OpenXM/rc \ |
tar cf - OpenXM/lib/libgc* OpenXM/lib/libgmp* OpenXM/rc \ |
OpenXM/bin/ox OpenXM/bin/ox_asir OpenXM/bin/asir \ |
OpenXM/bin \ |
OpenXM/lib/cfep OpenXM/lib/sm1/bin \ |
OpenXM/lib/cfep OpenXM/lib/sm1/bin \ |
OpenXM/doc/cfep ) | tar xvf -) |
OpenXM/doc/cfep ) | tar xvf -) |
(cd work ; (cd ${OpenXM_HOME}/.. ; \ |
(cd work ; (cd ${OpenXM_HOME}/.. ; \ |
Line 71 dist-cfep: gentar install |
|
Line 71 dist-cfep: gentar install |
|
(cp ${OpenXM_HOME}/bin/sm1 work/OpenXM/bin) |
(cp ${OpenXM_HOME}/bin/sm1 work/OpenXM/bin) |
(cp ${OpenXM_HOME}/bin/ox_k0 work/OpenXM/bin) |
(cp ${OpenXM_HOME}/bin/ox_k0 work/OpenXM/bin) |
(cp ${OpenXM_HOME}/bin/ox_cpp work/OpenXM/bin) |
(cp ${OpenXM_HOME}/bin/ox_cpp work/OpenXM/bin) |
|
(cp ${OpenXM_HOME}/bin/ox_pari work/OpenXM/bin) |
(mkdir -p work/OpenXM/lib/sm1 ; cp -r ${OpenXM_HOME}/lib/sm1/*.sm1 work/OpenXM/lib/sm1) |
(mkdir -p work/OpenXM/lib/sm1 ; cp -r ${OpenXM_HOME}/lib/sm1/*.sm1 work/OpenXM/lib/sm1) |
(cp ${OpenXM_HOME}/lib/sm1/*.asir work/OpenXM/lib/sm1) |
(cp ${OpenXM_HOME}/lib/sm1/*.asir work/OpenXM/lib/sm1) |
(cp -r ${OpenXM_HOME}/lib/sm1/Resource work/OpenXM/lib/sm1) |
(cp -r ${OpenXM_HOME}/lib/sm1/Resource work/OpenXM/lib/sm1) |