ants.pl
changeset 8 248fef05e79d
parent 3 55a8c407d38e
child 9 1a7983cbb82a
equal deleted inserted replaced
7:f7b4692ad805 8:248fef05e79d
     1 #!/usr/bin/perl
     1 #!/usr/bin/perl
     2 #======================================================================
     2 #======================================================================
     3 #                    A N T S . P L 
     3 #                    L I B / A N T S . P L 
     4 #                    doc: Fri Jun 19 14:01:06 1998
     4 #                    doc: Fri Jun 19 14:01:06 1998
     5 #                    dlm: Mon Sep 24 12:41:50 2012
     5 #                    dlm: Wed Oct 29 19:21:12 2014
     6 #                    (c) 1998 A.M. Thurnherr
     6 #                    (c) 1998 A.M. Thurnherr
     7 #                    uE-Info: 25 76 NIL 0 0 72 2 2 4 NIL ofnI
     7 #                    uE-Info: 21 8 NIL 0 0 72 2 2 4 NIL ofnI
     8 #======================================================================
     8 #======================================================================
     9 
     9 
    10 # HISTORY:
    10 # HISTORY:
    11 #  Jun 19, 1998: - apparently created
    11 #  Jun 19, 1998: - apparently created
    12 #  Jul  3, 2006: - added support for ANTS_PERL
    12 #  Jul  3, 2006: - added support for ANTS_PERL
    13 #  Jul  5, 2006: - removed `basename`
    13 #  Jul  5, 2006: - removed `basename`
    14 #  Jul 19, 2006: - added error if exec($ANTS_PERL) fails
    14 #  Jul 19, 2006: - added error if exec($ANTS_PERL) fails
    15 #  Sep 24, 2012: - added support for $ANTSLIB
    15 #  Sep 24, 2012: - added support for $ANTSLIB
       
    16 #  Oct 19, 2014: - added $antsLibVersion
    16 
    17 
    17 exec($ENV{ANTS_PERL},$0,@ARGV),die("$ENV{ANTS_PERL}: $!")
    18 exec($ENV{ANTS_PERL},$0,@ARGV),die("$ENV{ANTS_PERL}: $!")
    18     if (defined($ENV{ANTS_PERL}) && $^X ne $ENV{ANTS_PERL});
    19     if (defined($ENV{ANTS_PERL}) && $^X ne $ENV{ANTS_PERL});
       
    20 
       
    21 $antsLibVersion = 6.0;    
    19 
    22 
    20 if (defined($ANTSLIB)) {							# new style (V5)
    23 if (defined($ANTSLIB)) {							# new style (V5)
    21 	require "$ANTSLIB/antsusage.pl";
    24 	require "$ANTSLIB/antsusage.pl";
    22 	require "$ANTSLIB/antsio.pl";
    25 	require "$ANTSLIB/antsio.pl";
    23 	require "$ANTSLIB/antsutils.pl";
    26 	require "$ANTSLIB/antsutils.pl";