Ticket #21180: patch-config-configure.diff
File patch-config-configure.diff, 436 bytes (added by gunnmjk@…, 15 years ago) |
---|
-
config/configure
old new 4580 4580 else 4581 4581 OCAMLVERSION=`$OCAMLC -v | sed -n -e 's|.*version* *\(.*\)$|\1|p' ` 4582 4582 case "$OCAMLVERSION" in 4583 "$REQUIRED_OCAML"*|3.11. 0*|3.10.*|3.09.*|3.08.4*|3.08.3*) ;;4583 "$REQUIRED_OCAML"*|3.11.*|3.10.*|3.09.*|3.08.4*|3.08.3*) ;; 4584 4584 *) 4585 4585 echo "Need build" 4586 4586 BUILD_OCAML=yes