+
+BIN_DIR=@BIN_DIR@
HELM_LIB_DIR=@HELM_LIB_DIR@
-HELM_BIN_DIR=@HELM_BIN_DIR@
+
+all:
install:
+ cp start-xaland $(BIN_DIR)
cp xaland.class $(HELM_LIB_DIR)
- cp start-xaland $(HELM_BIN_DIR)
distclean:
rm -f Makefile configure config.log config.cache config.status \
etc/configuration.xml etc/helm-math-engine-configuration.xml \
- lib/configuration.pl
+ lib/configuration.pl *.spec start-xaland
-.PHONY: install distclean
+.PHONY: all install distclean
+JAVADIR = /opt/java/jdk1.3/bin
+HELM_STYLES_DIR = file:/home/lpadovan/miohelm/style
+
start-xaland:
java -ss1024K -oss8192K \
xaland 12345 12346 \
$(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_pres.xsl
start-xaland-uwobo:
- java -ss1024K -oss8192K \
+ $(JAVADIR)/java -ss1024K -oss8192K \
xaland_uwobo 12345 12346 12347 \
$(HELM_STYLES_DIR)/rootcontent.xsl \
$(HELM_STYLES_DIR)/annotatedpres.xsl \
+++ /dev/null
-#! /bin/sh
-
-export PATH=~/HELM/installation/jdk118/bin:$PATH
-
-#export CLASSPATH=/home/cadet/sacerdot/xalan-j_1_1/xalan.jar:/home/cadet/sacerdot/xalan-j_1_1/xerces.jar:.
-export CLASSPATH=~/HELM/installation/xalan-j_1_2/xalan.jar:~/HELM/installation/xalan-j_1_2/xerces.jar:.
-#export CLASSPATH=~/HELM/installation/xalan-j_1_2_1/xalan.jar:~/HELM/installation/xalan-j_1_2_1/xerces.jar:.
-#export CLASSPATH=/home/cadet/sacerdot/xalan-j_2_0_D01/bin/xalan.jar:/home/cadet/sacerdot/xalan-j_2_0_D01/bin/xerces.jar:.
-
-export HELM_STYLES_DIR=../style
-#export HELM_STYLES_DIR=../style
AC_INIT(xaland.class)
+PACKAGE=helm_xsltd
+MAJOR_VERSION=0
+MINOR_VERSION=0
+MICRO_VERSION=1
+VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION
+
if test "x$prefix" != xNONE; then
RESOLVED_PREFIX=$prefix
else
RESOLVED_EXEC_PREFIX=$RESOLVED_PREFIX
fi
-dnl General
-AC_MSG_CHECKING("for the bin dir")
-HELM_BIN_DIR=$RESOLVED_EXEC_PREFIX/bin
-AC_MSG_RESULT($HELM_BIN_DIR)
-
-AC_MSG_CHECKING("for the lib/helm dir")
-HELM_LIB_DIR=$RESOLVED_PREFIX/lib/helm
-AC_MSG_RESULT($HELM_LIB_DIR)
-
-AC_MSG_CHECKING("for the stylesheets\' dir")
-RES=""
-AC_CACHE_VAL(helm_cv_HELM_STYLES_DIR,
- echo "Where should I find the stylesheets? Note: your answer must be the path of the directory in which the stylesheets in the helm_data package have been installed."
- read helm_cv_HELM_STYLES_DIR
- RES="Asked"
-)
-HELM_STYLES_DIR=$helm_cv_HELM_STYLES_DIR
-if test "$RES" != "Asked" ; then
- HELM_STYLES_DIR=`eval "echo $HELM_STYLES_DIR"`
- AC_MSG_RESULT($HELM_STYLES_DIR)
+BIN_DIR=$RESOLVED_EXEC_PREFIX/bin
+
+AC_CHECK_PROG(HAVE_HELM_CONFIG, helm-config, yes, no)
+if test $HAVE_HELM_CONFIG = no; then
+ AC_MSG_ERROR(Could not fing helm-config)
+fi
+
+HELM_LIB_DIR=`helm-config --lib-dir`
+if test ! -d $HELM_LIB_DIR; then
+ AC_MSG_ERROR(Could not find HELM lib directory, please check your installation)
+fi
+
+HELM_STYLES_DIR=`helm-config --style-dir`
+if test ! -d $HELM_STYLES_DIR; then
+ AC_MSG_ERROR(Could not find stylesheet directory, please check your installation)
fi
-AC_CACHE_SAVE
+AC_SUBST(PACKAGE)
+AC_SUBST(VERSION)
+AC_SUBST(BIN_DIR)
AC_SUBST(HELM_LIB_DIR)
-AC_SUBST(HELM_BIN_DIR)
AC_SUBST(HELM_STYLES_DIR)
-AC_OUTPUT([Makefile start-xaland], chmod +x start-xaland)
+AC_OUTPUT([
+ Makefile
+ start-xaland
+ helm_xsltd.spec
+], chmod +x start-xaland)
+++ /dev/null
-Summary: The UDP-based XSLTD daemon for project HELM.
-Name: helm_xsltd
-Version: 0.0.1
-Release: 1
-Copyright: GPL
-URL: http://www.cs.unibo.it/helm
-Packager: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
-Requires: helm_configuration = 0.0.1, helm_data = 0.0.1, helm_http_getter = 0.0.1
-Group: Applications/Publishing
-Source: www.cs.unibo.it:/~lpadovan/mml-widget/helm_xsltd-0.0.1-1.tar.gz
-%description
-HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
-at the creation of tools for the development and exploitation of a huge
-distributed library of formal mathematical knowledge. This package holds
-an UDP-based XSLT daemon.
-For more information see http://www.cs.unibo.it/helm
-
-%prep
-%setup
-
-%build
-cp config.cache.pkg config.cache
-./configure
-
-%install
-make install
-
-%files
-%doc AUTHORS COPYING ChangeLog NEWS README
-/usr/local/lib/helm/xaland.class
-%attr(755,root,root) /usr/local/bin/start-xaland
--- /dev/null
+Summary: The UDP-based XSLTD daemon for project HELM.
+Name: @PACKAGE@
+Version: @VERSION@
+Release: 1
+Copyright: GPL
+URL: http://www.cs.unibo.it/helm
+Packager: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
+Requires: helm_configuration = 0.0.1, helm_data = 0.0.1, helm_http_getter = 0.0.1
+Group: Applications/Publishing
+Source: www.cs.unibo.it:/helm/@PACKAGE@-@VERSION@-1.tar.gz
+%description
+HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
+at the creation of tools for the development and exploitation of a huge
+distributed library of formal mathematical knowledge. This package holds
+an UDP-based XSLT daemon.
+For more information see http://www.cs.unibo.it/helm
+
+%prep
+%setup
+
+%build
+cp config.cache.pkg config.cache
+./configure
+make
+
+%install
+make install
+
+%files
+%doc AUTHORS COPYING ChangeLog NEWS README
+/usr/local/lib/helm/xaland.class
+%attr(755,root,root) /usr/local/bin/start-xaland
+++ /dev/null
-#! /bin/sh
-
-export PATH=$PATH:/opt/java/jdk118/bin/
-
-export CLASSPATH=.
-export CLASSPATH=$CLASSPATH:/home/lpadovan/helm/shared/libraries/java/xalan_1_1/xalan.jar
-export CLASSPATH=$CLASSPATH:/home/lpadovan/helm/shared/libraries/java/xalan_1_1/xerces.jar
-export CLASSPATH=$CLASSPATH:/home/lpadovan/helm/shared/libraries/java/saxon-5.3.2/saxon.jar
-
-export HELM_STYLES_DIR=../style
#!/bin/bash
+# Copyright (C) 2000, HELM Team.
+#
+# This file is part of HELM, an Hypertextual, Electronic
+# Library of Mathematics, developed at the Computer Science
+# Department, University of Bologna, Italy.
+#
+# HELM is free software; you can redistribute it and/or
+# modify it under the terms of the GNU General Public License
+# as published by the Free Software Foundation; either version 2
+# of the License, or (at your option) any later version.
+#
+# HELM is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with HELM; if not, write to the Free Software
+# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+#
+# For details, see the HELM World-Wide-Web page,
+# http://cs.unibo.it/helm/.
+
##########################################################################
# BEGIN OF THE PART TO CONFIGURE BEFORE USING THE SCRIPT #
##########################################################################
+// Copyright (C) 2000, HELM Team.
+//
+// This file is part of HELM, an Hypertextual, Electronic
+// Library of Mathematics, developed at the Computer Science
+// Department, University of Bologna, Italy.
+//
+// HELM is free software; you can redistribute it and/or
+// modify it under the terms of the GNU General Public License
+// as published by the Free Software Foundation; either version 2
+// of the License, or (at your option) any later version.
+//
+// HELM is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with HELM; if not, write to the Free Software
+// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+//
+// For details, see the HELM World-Wide-Web page,
+// http://cs.unibo.it/helm/.
+
import org.apache.xalan.xslt.*;
import org.w3c.dom.Document;
import java.net.*;
+// Copyright (C) 2000, HELM Team.
+//
+// This file is part of HELM, an Hypertextual, Electronic
+// Library of Mathematics, developed at the Computer Science
+// Department, University of Bologna, Italy.
+//
+// HELM is free software; you can redistribute it and/or
+// modify it under the terms of the GNU General Public License
+// as published by the Free Software Foundation; either version 2
+// of the License, or (at your option) any later version.
+//
+// HELM is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with HELM; if not, write to the Free Software
+// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+//
+// For details, see the HELM World-Wide-Web page,
+// http://cs.unibo.it/helm/.
+
import java.net.*;
public class rompi {
+// Copyright (C) 2000, HELM Team.
+//
+// This file is part of HELM, an Hypertextual, Electronic
+// Library of Mathematics, developed at the Computer Science
+// Department, University of Bologna, Italy.
+//
+// HELM is free software; you can redistribute it and/or
+// modify it under the terms of the GNU General Public License
+// as published by the Free Software Foundation; either version 2
+// of the License, or (at your option) any later version.
+//
+// HELM is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with HELM; if not, write to the Free Software
+// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+//
+// For details, see the HELM World-Wide-Web page,
+// http://cs.unibo.it/helm/.
+
import java.net.*;
public class sped {
+// Copyright (C) 2000, HELM Team.
+//
+// This file is part of HELM, an Hypertextual, Electronic
+// Library of Mathematics, developed at the Computer Science
+// Department, University of Bologna, Italy.
+//
+// HELM is free software; you can redistribute it and/or
+// modify it under the terms of the GNU General Public License
+// as published by the Free Software Foundation; either version 2
+// of the License, or (at your option) any later version.
+//
+// HELM is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with HELM; if not, write to the Free Software
+// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+//
+// For details, see the HELM World-Wide-Web page,
+// http://cs.unibo.it/helm/.
+
import org.apache.xalan.xslt.*;
import java.net.*;
import java.io.*;
+// Copyright (C) 2000, HELM Team.
+//
+// This file is part of HELM, an Hypertextual, Electronic
+// Library of Mathematics, developed at the Computer Science
+// Department, University of Bologna, Italy.
+//
+// HELM is free software; you can redistribute it and/or
+// modify it under the terms of the GNU General Public License
+// as published by the Free Software Foundation; either version 2
+// of the License, or (at your option) any later version.
+//
+// HELM is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with HELM; if not, write to the Free Software
+// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+//
+// For details, see the HELM World-Wide-Web page,
+// http://cs.unibo.it/helm/.
+
import java.net.*;
import java.io.*;
-import org.apache.xalan.xslt.*;
+//import org.apache.xalan.xslt.*;
import java.net.*;
import java.io.*;
uwobo_socket.receive(rcv);
}
- public static void main(String argv[]) throws java.io.IOException, java.net.MalformedURLException, org.xml.sax.SAXException
+ public static void main(String argv[]) throws java.io.IOException, java.net.MalformedURLException//, org.xml.sax.SAXException
{
int port = Integer.parseInt(argv[0]);
int port2 = Integer.parseInt(argv[1]);
int first = received.indexOf(' ');
int last = received.lastIndexOf(' ');
- String mode = received.substring(0,first);
+ String mode = received.substring(0,first-1);
String input = received.substring(first+1,last);
String output = received.substring(last+1);
System.out.println("request received! Parameters are");
- System.out.println("Mode: " + mode + " ");
+ System.out.println("Mode: \"" + mode + "\"");
System.out.println("Input file: \"" + input + "\"");
System.out.println("Output file: \"" + output + "\"\n");
if (mode == "cic")
- send_to_uwobo("apply ciccontent cicpres " + input + " " + output);
+ send_to_uwobo("apply " + input + " " + output + " ciccontent cicpres");
else
- send_to_uwobo("apply theorycontent theorypres " + input + " " + output);
+ send_to_uwobo("apply " + input + " " + output + " theorycontent theorypres");
InetAddress address = InetAddress.getLocalHost();
DatagramSocket socket2 = new DatagramSocket();
projects / helm.git / commitdiff