[dune] accomodate osx stupidity

Summary:
OSX filesystem gets confused by its case-insensitivity and the library
trick of having TOPL.ml (vs the existing Topl.ml).

Reviewed By: skcho

Differential Revision: D21456696

fbshipit-source-id: 2f6ffc2fb

infer/src/backend/dune

@@ -10,9 +10,9 @@
   (:standard
      -open Core -open InferStdlib -open IStd -open OpenSource -open InferGenerated
      -open InferBase -open InferIR -open Absint -open Biabduction -open Bo -open Nullsafe
-     -open Pulselib  -open Checkers -open Costlib -open Quandary -open TOPL
+     -open Pulselib  -open Checkers -open Costlib -open Quandary -open TOPLlib
      -open Concurrency -open Labs))
  (libraries core InferStdlib InferGenerated InferBase InferIR absint biabduction nullsafe bo
-            checkers costlib quandary TOPL concurrency labs)
+            checkers costlib quandary TOPLlib concurrency labs)
  (preprocess (pps ppx_compare ppx_fields_conv))
 )

infer/src/dune.in

@@ -59,7 +59,7 @@ let infer_cflags =
   ; "-open"
   ; "Quandary"
   ; "-open"
-  ; "TOPL"
+  ; "TOPLlib"
   ; "-open"
   ; "Concurrency"
   ; "-open"
@@ -110,7 +110,7 @@ let main_lib_stanza =
          ; "checkers"
          ; "costlib"
          ; "quandary"
-         ; "TOPL"
+         ; "TOPLlib"
          ; "concurrency"
          ; "labs"
          ; "backend" ] ))

infer/src/topl/dune

@@ -8,8 +8,8 @@
 (menhir (flags --unused-token INDENT --explain) (modules ToplParser))
 
 (library
- (name TOPL)
+ (name TOPLlib)
- (public_name infer.TOPL)
+ (public_name infer.TOPLlib)
  (flags
   (:standard -open Core -open InferIR -open InferStdlib -open IStd -open InferGenerated
     -open InferBase -open Absint -open Biabduction))