From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 2 Feb 2001 10:54:43 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: v0_1_2~147
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6ad6608ac02ed454313a580e85f3b576cb6abdd1;p=helm.git

*** empty log message ***
---

diff --git a/helm/http_getter/helm_http_getter.spec.in b/helm/http_getter/helm_http_getter.spec.in
index fec43a9dc..dda2b975d 100644
--- a/helm/http_getter/helm_http_getter.spec.in
+++ b/helm/http_getter/helm_http_getter.spec.in
@@ -20,8 +20,7 @@ For more information see http://www.cs.unibo.it/helm
 %setup
 
 %build
-cp config.cache.pkg config.cache
-./configure
+./configure --enable-defaults
 make
 
 %install
diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in
index 86ea2f501..0a0339e6f 100644
--- a/helm/interface/Makefile.in
+++ b/helm/interface/Makefile.in
@@ -180,10 +180,16 @@ clean:
 install:
 	cp mmlinterface mmlinterface.opt helm_wget $(BIN_DIR)
 
-distclean:
+distclean: clean
 	rm -f Makefile configuration.ml helm_wget configure config.log \
          config.cache config.status
 
+dist:   clean
+	rm -rf ../@PACKAGE@-@VERSION@
+	mkdir ../@PACKAGE@-@VERSION@
+	cp -r * ../@PACKAGE@-@VERSION@
+	(cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@)
+
 .PHONY: install distclean clean
 
 include .depend
diff --git a/helm/interface/configure.in b/helm/interface/configure.in
index e7dc8c801..a0e68d724 100644
--- a/helm/interface/configure.in
+++ b/helm/interface/configure.in
@@ -6,7 +6,7 @@ MINOR_VERSION=0
 MICRO_VERSION=2
 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION
 
-DEFAULT_HELM_CONFIGURATION_DIR=/etc/helm
+DEFAULT_HELM_CONFIGURATION_DIR=/usr/local/etc/helm
 
 AC_ARG_ENABLE(
 	defaults,
diff --git a/helm/interface/helm_gtk_interface.spec.in b/helm/interface/helm_gtk_interface.spec.in
index 1b9740d81..0e567ae14 100644
--- a/helm/interface/helm_gtk_interface.spec.in
+++ b/helm/interface/helm_gtk_interface.spec.in
@@ -5,7 +5,7 @@ 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, helm_xsltd = 0.0.1, ocaml >= 3.00, ocaml-findlib, ocaml-netstring, ocaml-pxp, lablgtk_20001129, lablgtk-20001129_gtkmathview
+Requires: helm_configuration >= 0.0.2, helm_data >= 0.0.2, helm_http_getter >= 0.0.2, helm_uwobo >= 0.0.2, ocaml >= 3.00, ocaml-findlib, ocaml-netstring, ocaml-pxp, lablgtk, lablgtkmathview >= 0.0.2
 Group: Applications/Publishing
 Source: www.cs.unibo.it:/helm/@PACKAGE@-@VERSION@.tar.gz
 %description
@@ -19,12 +19,11 @@ For more information see http://www.cs.unibo.it/helm
 %setup
 
 %build
-cp config.cache.pkg config.cache
-./configure
+./configure --enable-defaults
 make
+make opt
 
 %install
-make opt
 make install
 
 %files