From 3fc1e5e6d80288b89d79b6dd858c5b55f8037270 Mon Sep 17 00:00:00 2001
From: Sadiq Jaffer <sadiq@toao.com>
Date: Fri, 12 Apr 2019 14:37:08 +0100
Subject: [PATCH] set the public name for the library and add a synopsis

---
 dune-project | 1 +
 kcas.opam    | 4 ++--
 src/dune     | 1 +
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/dune-project b/dune-project
index bfe19a20..e375d16a 100644
--- a/dune-project
+++ b/dune-project
@@ -1 +1,2 @@
 (lang dune 1.8)
+(name kcas)
diff --git a/kcas.opam b/kcas.opam
index 0160c263..d0f464db 100644
--- a/kcas.opam
+++ b/kcas.opam
@@ -3,7 +3,7 @@ name: "kcas"
 maintainer: "KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"
 authors: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
 homepage: "https://github.com/kayceesrk/kcas"
-description: "Multi-word compare-and-swap library"
+synopsis: "Multi-word compare-and-swap library"
 doc: "https://kayceesrk.github.io/kcas/doc"
 license: "ISC"
 dev-repo: "git+https://github.com/kayceesrk/kcas.git"
@@ -15,5 +15,5 @@ depends: [
   "dune" {build} ]
 depopts: []
 build: [
-  ["dune" "build" "src/kcas.mllib"] 
+  ["dune" "build" "-p" name] 
 ]
diff --git a/src/dune b/src/dune
index f65a3600..5c919ccf 100644
--- a/src/dune
+++ b/src/dune
@@ -1,4 +1,5 @@
 (library
  (name kcas)
+ (public_name kcas)
  (libraries unix)
  (modes native))