ligo/vendors/irmin-leveldb/jbuild

(jbuild_version 1)

(library
 ((name        irmin_leveldb)
  (public_name irmin-leveldb)
  (libraries   (irmin leveldb))
  (flags (:standard -safe-string))))
Context: quick-and-dirty leveldb backend for Irmin This is a dirty and non-optimized backend, it is still faster than the current git backend. Main drawbacks: - the leveldb binding is non-coopertive, the node will block while committing a block to the disk ; - the leveldb use 'string' while internally we use 'cstruct', this implies a lot of time-consuming 'memcpy'. 2017-11-20 00:25:28 +04:00			`(jbuild_version 1)`

			`(library`
			`((name irmin_leveldb)`
			`(public_name irmin-leveldb)`
Build: add -safe-string to more places 2017-12-11 19:36:24 +04:00			`(libraries (irmin leveldb))`
			`(flags (:standard -safe-string))))`