Make --disable-camlp4 the default.

2014-10-20 20:03:45 +04:00 · 2014-10-20 20:03:45 +04:00 · 9254d5cf92
parent c1bcb5abc5
commit 9254d5cf92
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -31,7 +31,7 @@ Description:

 Flag camlp4
  Description: camlp4 support
-  Default: true
+  Default: false

 Library utop
  Path: src/lib