X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=DEPENDENCIES;h=73a2b0bff77ee7ac06d48d388169529385338328;hb=882da58ae6f34b4637240739ae37a1b5efd39cf6;hp=a8f9a9d0489f14b07fb16cadf42af62667fe8b12;hpb=b6c5012201d95a0e8f598b684a9a7bbaf9f4bcc0;p=pspp diff --git a/DEPENDENCIES b/DEPENDENCIES index a8f9a9d048..73a2b0bff7 100644 --- a/DEPENDENCIES +++ b/DEPENDENCIES @@ -138,6 +138,8 @@ at any time. * GNU libtool 1.5.22 or newer. + Optional. Needed if you want to invoke gnulib-tool with option --libtool. + libtool 2.2.x or newer is needed if you want to invoke gnulib-tool + with options --create-testdir/--test and --libtool. + Homepage: http://www.gnu.org/software/libtool/ + Download: