From ae2c4d738c850cb9617179eaa567bac27ca1bd13 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sat, 6 Dec 2014 18:14:26 +0000
Subject: [PATCH] ML API: build fix

---
 src/api/ml/META | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/api/ml/META b/src/api/ml/META
index 8634b53b1..635de613c 100644
--- a/src/api/ml/META
+++ b/src/api/ml/META
@@ -4,6 +4,8 @@ description = "Z3 Theorem Prover (OCaml API)"
 requires = "num"
 archive(byte) = "z3ml.cma"
 archive(native) = "z3ml.cmxa"
-archive(byte, plugin) = "z3ml.cma"
-archive(native, plugin) = "z3ml.cmxs"
+archive(byte,plugin) = "z3ml.cma"
+archive(native,plugin) = "z3ml.cmxa"
+archive(byte,toploop) = "z3ml.cma"
+archive(native,toploop) = "z3ml.cmxa"
 linkopts = "-cclib -lz3"