x86: implement 128-bit popcnt
[ajla.git] / fixup-configure
blobdec3430607b9a1a248975e83ff2a723fda673f17
1 #!/bin/sh -e
3 # Copyright (C) 2024 Mikulas Patocka
5 # This file is part of Ajla.
7 # Ajla is free software: you can redistribute it and/or modify it under the
8 # terms of the GNU General Public License as published by the Free Software
9 # Foundation, either version 3 of the License, or (at your option) any later
10 # version.
12 # Ajla is distributed in the hope that it will be useful, but WITHOUT ANY
13 # WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
14 # A PARTICULAR PURPOSE. See the GNU General Public License for more details.
16 # You should have received a copy of the GNU General Public License along with
17 # Ajla. If not, see <https://www.gnu.org/licenses/>.
19 if which ed >/dev/null 2>/dev/null && grep -q IFS=: configure && grep -q ac_tag configure; then
20 ed configure <<EOF
21 /IFS=:
22 s/:/";"/
24 ac_tag2="\`echo "\$ac_tag"|sed 's/:/;/g'\`"
27 s/ac_tag/ac_tag2/g
30 EOF
32 cat Makefile.in | sed 's/cp -fpR/cp -fR/g' | sed 's/cp -p /cp /g' >Makefile.inx
33 mv Makefile.inx Makefile.in