=================================================================== RCS file: /home/cvs/OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/pkg/PLIST,v retrieving revision 1.4 retrieving revision 1.13 diff -u -p -r1.4 -r1.13 --- OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/pkg/PLIST 2000/03/06 04:29:03 1.4 +++ OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/pkg/PLIST 2000/03/17 13:52:13 1.13 @@ -1,29 +1,33 @@ +@exec echo " $OpenXM: OpenXM/misc/packages/FreeBSD/openxm-ports/openxm-1.1.2/pkg/PLIST,v 1.12 2000/03/16 11:33:08 takayama Exp $ --- " bin/asir bin/sm1 bin/oxMathematica bin/oxmath bin/ox bin/oxgp +bin/openxm man/man1/sm1.1.gz man/man1/openxm.1.gz OpenXM/bin/Makefile OpenXM/bin/fep.fbsd OpenXM/bin/lin_phcv2p +OpenXM/bin/.configure_done OpenXM/bin/gp-2.0 OpenXM/bin/gphelp +OpenXM/bin/oxweave +OpenXM/bin/oxlog +OpenXM/bin/ox_sm1 +OpenXM/bin/ox +OpenXM/bin/rc.repl +OpenXM/bin/asir OpenXM/bin/gnuplot4ox OpenXM/bin/gnuplot_x11 OpenXM/bin/d0 OpenXM/bin/k0 OpenXM/bin/sm1 -OpenXM/bin/oxweave -OpenXM/bin/oxlog -OpenXM/bin/ox_sm1 -OpenXM/bin/ox OpenXM/bin/phc6 OpenXM/bin/tigers OpenXM/lib/asir/asir_key -OpenXM/lib/asir/asir OpenXM/lib/asir/alpi OpenXM/lib/asir/xm OpenXM/lib/asir/sturm @@ -394,7 +398,6 @@ OpenXM/lib/asir/help-jp/defpoly_mod2 OpenXM/lib/asir/help-jp/fctr_ff OpenXM/lib/asir/help-jp/irredcheck_ff OpenXM/lib/asir/help-jp/randpoly_ff -OpenXM/lib/asir/help-jp/ecm_add_ff OpenXM/lib/asir/help-jp/xm.help/dsolv_dual OpenXM/lib/asir/help-jp/xm.help/sm1_xml_tree_to_prefix_string OpenXM/lib/asir/help-jp/xm.help/sm1_wTensor0 @@ -431,6 +434,7 @@ OpenXM/lib/asir/help-jp/xm.help/gnuplot_output OpenXM/lib/asir/help-jp/xm.help/gnuplot OpenXM/lib/asir/help-jp/xm.help/dsolv_starting_term OpenXM/lib/asir/help-jp/xm.help/tigers +OpenXM/lib/asir/help-jp/ecm_add_ff OpenXM/lib/k097/var.sm1 OpenXM/lib/k097/debug/a24.k OpenXM/lib/k097/debug/ahg.k @@ -532,6 +536,9 @@ OpenXM/lib/pari/users.dvi OpenXM/lib/pari/tutorial.dvi OpenXM/lib/pari/refcard.dvi OpenXM/lib/pari/refcard.ps +OpenXM/lib/libgc.a +OpenXM/lib/libgmp.a +OpenXM/lib/libox.a OpenXM/lib/libasir_pari_X.a OpenXM/lib/libasir-gc.a OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO.class @@ -540,7 +547,6 @@ OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/C OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_DISTRIBUTED_POLYNOMIAL.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_DMS.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_DMS_GENERIC.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_ERROR.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_ERROR2.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_INDETERMINATE.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_INT32.class @@ -551,16 +557,17 @@ OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/C OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_POLYNOMIAL_IN_ONE_VARIABLE.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_QQ.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_RATIONAL.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_TREE.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_RECURSIVE_POLYNOMIAL.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_STRING.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_TREE.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_ZERO.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/CMO_ZZ.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/DebugInputStream.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/MathcapViolation.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/OpenXM.class -OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/OXbody.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/OpenXMconnection.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/OXbody.class +OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/OXmessage.class OpenXM/lib/java-support/JP/ac/kobe_u/math/tam/OpenXM/SM.class OpenXM/lib/java-support/OM2OXM.class OpenXM/lib/java-support/OMproxy.class @@ -568,6 +575,7 @@ OpenXM/lib/math/primadec.m OpenXM/lib/math/beta.m OpenXM/lib/math/oxclient.m OpenXM/lib/asir-contrib/Matrix +OpenXM/lib/asir-contrib/longname OpenXM/lib/asir-contrib/tigers OpenXM/lib/asir-contrib/phc OpenXM/lib/asir-contrib/igraph @@ -581,7 +589,8 @@ OpenXM/lib/asir-contrib/Diff OpenXM/lib/asir-contrib/sets OpenXM/lib/asir-contrib/m OpenXM/lib/asir-contrib/fourier-0 -OpenXM/lib/asir-contrib/longname +OpenXM/lib/asir-contrib/dsolv +OpenXM/lib/libasir.a OpenXM/Copyright/Copyright.asir2000 OpenXM/Copyright/Copyright.generic OpenXM/Copyright/Copyright.mathlink @@ -652,22 +661,27 @@ OpenXM/doc/OpenXM-specs/OpenXM-jp.dvi OpenXM/doc/OpenXM-FAQ-jp.txt OpenXM/doc/plathome-jp.txt OpenXM/doc/oxlib/Makefile -OpenXM/doc/oxlib/oxasir.h +OpenXM/doc/oxlib/README OpenXM/doc/oxlib/test1.c OpenXM/doc/oxlib/test2.c +OpenXM/doc/oxlib/test3.c OpenXM/doc/pari/users.dvi OpenXM/doc/pari/tutorial.dvi +OpenXM/doc/ox_toolkit/bnf-jp +OpenXM/doc/ox_toolkit/bnf-eg +OpenXM/doc/ox_toolkit/readme-jp +OpenXM/doc/ox_toolkit/readme-eg OpenXM/doc/kan96xx/intro.tex OpenXM/doc/kan96xx/onlinehelp.tex OpenXM/doc/kan96xx/intro.ps OpenXM/doc/kan96xx/onlinehelp.ps -OpenXM/doc/ox_math/ox_math.dvi -OpenXM/doc/ox_math/readme-eg +OpenXM/doc/ox_math/ox_math.tex OpenXM/doc/ox_math/readme-jp +OpenXM/doc/ox_math/ox_math.dvi OpenXM/doc/ox_math/samplelog-sm1.txt -OpenXM/doc/ox_math/ox_math.tex +OpenXM/doc/ox_math/readme-eg OpenXM/doc/ox_math/math2ox.dvi -OpenXM/doc/ox_math/math2ox.tex +OpenXM/doc/ox_math/math2ox.texi OpenXM/doc/asir2000/html-eg/man_toc.html OpenXM/doc/asir2000/html-eg/man_1.html OpenXM/doc/asir2000/html-eg/man_2.html @@ -923,6 +937,7 @@ OpenXM/doc/asir2000/html-eg/man_251.html OpenXM/doc/asir2000/html-eg/man_252.html OpenXM/doc/asir2000/html-eg/man_253.html OpenXM/doc/asir2000/html-eg/man_254.html +OpenXM/doc/asir2000/html-eg/man_255.html OpenXM/doc/asir2000/man-eg.dvi OpenXM/doc/asir2000/html-jp/man_toc.html OpenXM/doc/asir2000/html-jp/man_1.html @@ -1179,6 +1194,7 @@ OpenXM/doc/asir2000/html-jp/man_251.html OpenXM/doc/asir2000/html-jp/man_252.html OpenXM/doc/asir2000/html-jp/man_253.html OpenXM/doc/asir2000/html-jp/man_254.html +OpenXM/doc/asir2000/html-jp/man_255.html OpenXM/doc/asir2000/man-jp.dvi OpenXM/doc/asir-contrib/cman-jp.dvi OpenXM/doc/asir-contrib/cman-jp.ps @@ -1196,24 +1212,55 @@ OpenXM/include/pari/paristio.h OpenXM/include/pari/parisys.h OpenXM/include/pari/pariport.h OpenXM/include/pari/paridecl.h +OpenXM/include/gmp.h +OpenXM/include/ox_toolkit_tags.h +OpenXM/include/ox_toolkit.h +OpenXM/include/asir/al.h +OpenXM/include/asir/version.h +OpenXM/include/asir/prime.h +OpenXM/include/asir/ox.h +OpenXM/include/asir/inline.h +OpenXM/include/asir/com.h +OpenXM/include/asir/ca.h +OpenXM/include/asir/ca-27.h +OpenXM/include/asir/bf.h +OpenXM/include/asir/base.h +OpenXM/include/asir/b.h +OpenXM/include/asir/wsio.h +OpenXM/include/asir/w_stdio.h +OpenXM/include/asir/parse.h +OpenXM/include/asir/cpp.h +OpenXM/include/asir/comp.h +OpenXM/include/gc/gc.h +OpenXM/include/gc/gc_typed.h +OpenXM/include/gc/gc_private.h +OpenXM/include/gc/gc_priv.h +OpenXM/include/gc/gc_mark.h +OpenXM/include/gc/gc_hdrs.h +OpenXM/include/gc/gc_cpp.h +OpenXM/include/gc/gc_alloc.h +OpenXM/include/gc/gcconfig.h OpenXM/man/man1/gphelp.1 OpenXM/man/man1/gp.1 +OpenXM/man/man1/sm1.1 +OpenXM/man/man1/openxm.1 OpenXM/rc/Makefile OpenXM/rc/asirrc OpenXM/rc/bashrc OpenXM/rc/cshrc +OpenXM/rc/fetch_asir_key.sm1 OpenXM/rc/gen-shell-scripts +OpenXM/rc/openxm.1 OpenXM/rc/repl.c -OpenXM/rc/repl @exec ln -fs fep.fbsd %D/OpenXM/bin/fep @exec ln -fs lin_phcv2p %D/OpenXM/bin/phc -@exec ln -fs ./ox_asir %D/OpenXM/bin/asir -@exec ln -fs ../lib/asir/asir %D/OpenXM/bin/ox_asir +@exec ln -fs ./asir %D/OpenXM/bin/ox_asir @exec ln -fs gp-2.0 %D/OpenXM/bin/gp -@exec ln -fs ./asir %D/OpenXM/lib/asir/ox_asir -@exec ln -fs ./asir %D/OpenXM/lib/asir/ox_launch -@exec ln -fs ./asir %D/OpenXM/lib/asir/ox_plot -@exec ln -fs ./help-eg %D/OpenXM/lib/asir/help +@exec ln -fs help-eg %D/OpenXM/lib/asir/help +@exec ln -fs ./../../bin/asir %D/OpenXM/lib/asir/asir +@exec ln -fs asir %D/OpenXM/lib/asir/ox_asir +@exec ln -fs asir %D/OpenXM/lib/asir/ox_launch +@exec ln -fs asir %D/OpenXM/lib/asir/ox_plot @exec ln -fs loop %D/OpenXM/lib/asir/help-eg/break @exec ln -fs loop %D/OpenXM/lib/asir/help-eg/return @exec ln -fs loop %D/OpenXM/lib/asir/help-eg/continue @@ -1320,6 +1367,8 @@ OpenXM/rc/repl @exec ln -fs katsura %D/OpenXM/lib/asir/help-eg/hcyclic @exec ln -fs primadec %D/OpenXM/lib/asir/help-eg/primedec @exec ln -fs asq %D/OpenXM/lib/asir/help-eg/af +@exec ln -fs asq %D/OpenXM/lib/asir/help-eg/af_noalg +@exec ln -fs sp %D/OpenXM/lib/asir/help-eg/sp_noalg @exec ln -fs ecm_add_ff %D/OpenXM/lib/asir/help-eg/ecm_sub_ff @exec ln -fs ecm_add_ff %D/OpenXM/lib/asir/help-eg/ecm_chsgn_ff @exec ln -fs idiv %D/OpenXM/lib/asir/help-jp/irem @@ -1425,6 +1474,8 @@ OpenXM/rc/repl @exec ln -fs katsura %D/OpenXM/lib/asir/help-jp/hcyclic @exec ln -fs primadec %D/OpenXM/lib/asir/help-jp/primedec @exec ln -fs asq %D/OpenXM/lib/asir/help-jp/af +@exec ln -fs asq %D/OpenXM/lib/asir/help-jp/af_noalg +@exec ln -fs sp %D/OpenXM/lib/asir/help-jp/sp_noalg @exec ln -fs ecm_add_ff %D/OpenXM/lib/asir/help-jp/ecm_sub_ff @exec ln -fs ecm_add_ff %D/OpenXM/lib/asir/help-jp/ecm_chsgn_ff @exec ln -fs ../../../bin/ox %D/OpenXM/lib/sm1/bin/ox @@ -1441,4 +1492,5 @@ OpenXM/rc/repl @exec ln -fs ../reset.eps %D/OpenXM/doc/OpenXM-specs/tmpJP/reset.eps @exec ln -fs pari.h %D/OpenXM/include/pari/genpari.h @exec ln -fs ../../../OpenXM/man/man1/gp.1 %D/OpenXM/man/man1/pari.1 +@exec ln -fs ../bin/rc.repl %D/OpenXM/rc/repl @dirrm OpenXM