changeset 15779 | aed221aff642 |
parent 15153 | 3f3926337c39 |
child 15847 | c05c7670f166 |
15778:98af3693f6b3 | 15779:aed221aff642 |
---|---|
44 |
44 |
45 |
45 |
46 ## main |
46 ## main |
47 |
47 |
48 #set by configure |
48 #set by configure |
49 AUTO_PERL=perl |
49 AUTO_PERL=/usr/bin/perl |
50 |
50 |
51 "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/dimacs2hol.pl" "$@" |
51 "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/dimacs2hol.pl" "$@" |