wok diff ocaml/receipt @ rev 19614

Up: gmp (6.1.2)
author Alexander Medvedev <devl547@gmail.com>
date Mon Jan 09 19:48:10 2017 +0000 (2017-01-09)
parents 23c3aed67cd9
children 019e49ad6c06
line diff
     1.1 --- a/ocaml/receipt	Thu Dec 05 20:23:08 2013 +0000
     1.2 +++ b/ocaml/receipt	Mon Jan 09 19:48:10 2017 +0000
     1.3 @@ -16,7 +16,7 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 -	cd $src
     1.8 +	sed -i 's|PREFIX)/man|PREFIX)/share/man|' configure
     1.9  	grep -q true build/camlp4-targets.sh ||
    1.10  		sed -i 's/base=.*/& || true/' build/camlp4-targets.sh
    1.11  	./configure --prefix /usr \