]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter.pl.in
...
[helm.git] / helm / http_getter / http_getter.pl.in
index 4aeeafa5ca8320f7c85cd5d458f19e071b9ee331..206ba6b4ef911ed7c489eaedbed04103735a217f 100755 (executable)
@@ -1,10 +1,10 @@
-#!/usr/bin/perl
+#!@PERL_BINARY@
 
 # First of all, let's load HELM configuration
 use Env;
 my $HELM_LIBRARY_DIR = $ENV{"HELM_LIBRARY_DIR"};
 # this should be the only fixed constant
-my $DEFAULT_HELM_LIBRARY_DIR = "/usr/local/etc/helm";
+my $DEFAULT_HELM_LIBRARY_DIR = "@DEFAULT_HELM_LIBRARY_DIR@";
 if (defined ($HELM_LIBRARY_DIR) {
    $HELM_LIBRARY_PATH = $HELM_LIBRARY_DIR."./configuration.pl";
 } else {