Skip to content

Commit

Permalink
temporarily set the default to ctypes-foreign.threaded
Browse files Browse the repository at this point in the history
This is the default as supported by dune, so it's a sensible
hard-coded one until the conversation in ocaml/dune#1724
is resolved.
  • Loading branch information
avsm committed Jan 1, 2019
1 parent c82e8cb commit 262665b
Show file tree
Hide file tree
Showing 5 changed files with 6 additions and 13 deletions.
3 changes: 0 additions & 3 deletions META.ctypes-foreign.template

This file was deleted.

4 changes: 1 addition & 3 deletions examples/date/foreign/dune
Original file line number Diff line number Diff line change
@@ -1,5 +1,3 @@
(executables
(names date)
(libraries ctypes-foreign
;; TODO below only needed until https://github.com/ocaml/dune/issues/1724
ctypes-foreign.unthreaded))
(libraries ctypes-foreign))
4 changes: 1 addition & 3 deletions examples/fts/foreign/dune
Original file line number Diff line number Diff line change
@@ -1,5 +1,3 @@
(executables
(names fts_cmd)
(libraries ctypes-foreign
;; TODO below only needed until https://github.com/ocaml/dune/issues/1724
ctypes-foreign.unthreaded))
(libraries ctypes-foreign))
4 changes: 1 addition & 3 deletions examples/ncurses/foreign/dune
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,7 @@
(name ncurses)
(c_library_flags -lncurses)
(modules ncurses)
(libraries ctypes-foreign
;; TODO below only needed until https://github.com/ocaml/dune/issues/1724
ctypes-foreign.unthreaded))
(libraries ctypes-foreign))

(executables
(names ncurses_cmd)
Expand Down
4 changes: 3 additions & 1 deletion src/ctypes-foreign/dune
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
(library
(name ctypes_foreign)
(public_name ctypes-foreign))
(public_name ctypes-foreign)
;; TODO below needed until https://github.com/ocaml/dune/issues/1724 is resolved
(libraries ctypes-foreign.threaded))

0 comments on commit 262665b

Please sign in to comment.