version 1.13, 2010/06/09 03:05:59 |
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 70 dist-cfep: gentar install |
|
Line 70 dist-cfep: gentar install |
|
(cp ${OpenXM_HOME}/bin/nkf work/OpenXM/bin) |
(cp ${OpenXM_HOME}/bin/nkf work/OpenXM/bin) |
(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_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) |
Line 113 gendoc: gendoc.c |
|
Line 115 gendoc: gendoc.c |
|
cfep-grep: cfep-grep.c |
cfep-grep: cfep-grep.c |
gcc -o cfep-grep -I${OpenXM_HOME}/include cfep-grep.c -L${OpenXM_HOME}/lib -lox_pathfinder |
gcc -o cfep-grep -I${OpenXM_HOME}/include cfep-grep.c -L${OpenXM_HOME}/lib -lox_pathfinder |
|
|
|
copy-all-tmp: |
|
mkdir -p work/OpenXM/share |
|
-(cp ${OpenXM_HOME}/bin/[a-z]* work/OpenXM/bin) |
|
-(cp ${OpenXM_HOME}/lib/[a-z]* work/OpenXM/lib) |
|
-(cp -r ${OpenXM_HOME}/lib/java-support work/OpenXM/lib) |
|
-(cp -r ${OpenXM_HOME}/share/oxmgraph work/OpenXM/share) |
|
# -(cp -r ${OpenXM_HOME}/libexec work/OpenXM ) |
|
rm -f work/OpenXM/bin/gnuplot |