| delorie.com/archives/browse.cgi | search |
| X-Authentication-Warning: | delorie.com: mail set sender to djgpp-bounces using -f |
| X-Recipient: | djgpp AT delorie DOT com |
| From: | "Andris Pavenis (andris DOT pavenis AT iki DOT fi) [via djgpp AT delorie DOT com]" <djgpp AT delorie DOT com> |
| To: | "DJGPP List (E-mail)" <djgpp AT delorie DOT com> |
| Subject: | Problem with DJGPP port of grep |
| Message-ID: | <f15db65a-3aec-c772-1453-36bf2f35040e@iki.fi> |
| Date: | Fri, 13 May 2016 20:15:34 +0300 |
| User-Agent: | Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 |
| Thunderbird/45.0 | |
| MIME-Version: | 1.0 |
| Reply-To: | djgpp AT delorie DOT com |
Noticed problem configuring GCC build under Win10 which prevented
usable makeinfo from being detected. As result .info files were not built.
Verified that latest version of DJGPP port of GNU grep behaves exactly in the
same way both under Windows Vista and Windows 10. Last package which
did not have this problem was deleted/v2gnu/grep211b.zip. All newer versions
failed to extract acceptable makinfo versions including one from current/v2gnu
-------------------------------------------------------------
#! /bin/sh
set -x
MAKEINFO=/dev/env/DJDIR/bin/makeinfo
grep --version
$MAKEINFO --version
${MAKEINFO} --version | egrep 'texinfo[^0-9]*(4\.([7-9]|[1-9][0-9])|[5-9]|[1-9][0-9])' && echo OK
---------------------------------------------------------------
Checked version which I had on DJGPP Installation under Windows Vista, which I used
for building GCC and it was ancient 2.5.4 (I had followed generic rule - if it is not broken, don't
fix it). There were fresh installation in Windows 10, so I run into trouble
Andris
PS. Running the same GCC pre-processor torture tests which showed random failures
with gcc versions beginning from 4.6. My todays build off gcc-6.1.0 seems to survive
just fine under WIn10. Also 'make bootstrap4' went through OK without a problems (except that
info files were missing)
| webmaster | delorie software privacy |
| Copyright © 2019 by DJ Delorie | Updated Jul 2019 |