Skip to content

Commit f714039

Browse files
fblanquifblanqui
committed
wip
1 parent f2ed60f commit f714039

2 files changed

Lines changed: 4 additions & 2 deletions

File tree

‎.gitignore‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -29,8 +29,6 @@ lexsmtlib.ml
2929
lexzen.ml
3030
lexdk.ml
3131
checksum.ml
32-
config.ml
33-
.svn
3432
.zenon*.aux
3533
*~
3634
_build/

‎config.ml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
let libdir =
2+
let root = try Sys.getenv "OPAM_SWITCH_PREFIX" with Not_found -> "/usr/local"
3+
in Filename.concat root "lib"
4+
;;

0 commit comments

Comments
 (0)