summaryrefslogtreecommitdiff
path: root/pkg/pkg.ml
diff options
context:
space:
mode:
Diffstat (limited to 'pkg/pkg.ml')
-rwxr-xr-xpkg/pkg.ml1
1 files changed, 0 insertions, 1 deletions
diff --git a/pkg/pkg.ml b/pkg/pkg.ml
index 4eb1a42..22a1267 100755
--- a/pkg/pkg.ml
+++ b/pkg/pkg.ml
@@ -8,7 +8,6 @@ let () =
Ok [ Pkg.mllib "src/ptime.mllib";
Pkg.mllib ~api:[] "src/ptime_top.mllib" ~dst_dir:"top/";
Pkg.lib "src/ptime_top_init.ml";
- Pkg.lib ~exts:Exts.interface "src/ptime_clock" ~dst:"clock/";
Pkg.mllib "src-clock/ptime_clock.mllib" ~dst_dir:"clock/os/";
Pkg.clib "src-clock/libptime_clock_stubs.clib" ~lib_dst_dir:"clock/os/";
Pkg.lib "src-clock/runtime.js" ~dst:"clock/os/";