Skip to content

Commit 077f9f9

Browse files
bclement-ocpemilienlemaire
authored andcommitted
Included a js_of_ocaml version of superbol in the .vsix
This is a first step towards fixing #76 (but does not entirely fixes it). It avoids the need to install an external superbol executable, and should work on all platforms. The bundled superbol-free.bc.js is used if the option `superbol.path` is set to `null`, which is the new default. Some performance investigation is needed -- if we find out that the js_of_ocaml version is too slow for practical use, we can make this not be the default.
1 parent 922588f commit 077f9f9

File tree

33 files changed

+95
-250
lines changed

33 files changed

+95
-250
lines changed

.drom

Lines changed: 32 additions & 32 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

src/lsp/cobol_cfg/version.mlt

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -11,13 +11,8 @@ let query cmd =
1111
else None
1212
with End_of_file -> None
1313

14-
let gitdir =
15-
try Sys.getenv "DUNE_SOURCEROOT" with Not_found -> ""
16-
17-
let commit_hash =
18-
query ("git -C \""^gitdir^"\" show -s --pretty=format:%H")
19-
let commit_date =
20-
query ("git -C \""^gitdir^"\" show -s --pretty=format:%ci")
14+
let commit_hash = query "git show -s --pretty=format:%H"
15+
let commit_date = query "git show -s --pretty=format:%ci"
2116
let version = "0.1.5"
2217

2318
let string_option = function

src/lsp/cobol_common/version.mlt

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -11,13 +11,8 @@ let query cmd =
1111
else None
1212
with End_of_file -> None
1313

14-
let gitdir =
15-
try Sys.getenv "DUNE_SOURCEROOT" with Not_found -> ""
16-
17-
let commit_hash =
18-
query ("git -C \""^gitdir^"\" show -s --pretty=format:%H")
19-
let commit_date =
20-
query ("git -C \""^gitdir^"\" show -s --pretty=format:%ci")
14+
let commit_hash = query "git show -s --pretty=format:%H"
15+
let commit_date = query "git show -s --pretty=format:%ci"
2116
let version = "0.1.5"
2217

2318
let string_option = function

src/lsp/cobol_config/version.mlt

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -11,13 +11,8 @@ let query cmd =
1111
else None
1212
with End_of_file -> None
1313

14-
let gitdir =
15-
try Sys.getenv "DUNE_SOURCEROOT" with Not_found -> ""
16-
17-
let commit_hash =
18-
query ("git -C \""^gitdir^"\" show -s --pretty=format:%H")
19-
let commit_date =
20-
query ("git -C \""^gitdir^"\" show -s --pretty=format:%ci")
14+
let commit_hash = query "git show -s --pretty=format:%H"
15+
let commit_date = query "git show -s --pretty=format:%ci"
2116
let version = "0.1.5"
2217

2318
let string_option = function

src/lsp/cobol_data/version.mlt

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -11,13 +11,8 @@ let query cmd =
1111
else None
1212
with End_of_file -> None
1313

14-
let gitdir =
15-
try Sys.getenv "DUNE_SOURCEROOT" with Not_found -> ""
16-
17-
let commit_hash =
18-
query ("git -C \""^gitdir^"\" show -s --pretty=format:%H")
19-
let commit_date =
20-
query ("git -C \""^gitdir^"\" show -s --pretty=format:%ci")
14+
let commit_hash = query "git show -s --pretty=format:%H"
15+
let commit_date = query "git show -s --pretty=format:%ci"
2116
let version = "0.1.5"
2217

2318
let string_option = function

src/lsp/cobol_indent/version.mlt

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -11,13 +11,8 @@ let query cmd =
1111
else None
1212
with End_of_file -> None
1313

14-
let gitdir =
15-
try Sys.getenv "DUNE_SOURCEROOT" with Not_found -> ""
16-
17-
let commit_hash =
18-
query ("git -C \""^gitdir^"\" show -s --pretty=format:%H")
19-
let commit_date =
20-
query ("git -C \""^gitdir^"\" show -s --pretty=format:%ci")
14+
let commit_hash = query "git show -s --pretty=format:%H"
15+
let commit_date = query "git show -s --pretty=format:%ci"
2116
let version = "0.1.5"
2217

2318
let string_option = function

src/lsp/cobol_indent_old/version.mlt

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -11,13 +11,8 @@ let query cmd =
1111
else None
1212
with End_of_file -> None
1313

14-
let gitdir =
15-
try Sys.getenv "DUNE_SOURCEROOT" with Not_found -> ""
16-
17-
let commit_hash =
18-
query ("git -C \""^gitdir^"\" show -s --pretty=format:%H")
19-
let commit_date =
20-
query ("git -C \""^gitdir^"\" show -s --pretty=format:%ci")
14+
let commit_hash = query "git show -s --pretty=format:%H"
15+
let commit_date = query "git show -s --pretty=format:%ci"
2116
let version = "0.1.5"
2217

2318
let string_option = function

src/lsp/cobol_lsp/version.mlt

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -11,13 +11,8 @@ let query cmd =
1111
else None
1212
with End_of_file -> None
1313

14-
let gitdir =
15-
try Sys.getenv "DUNE_SOURCEROOT" with Not_found -> ""
16-
17-
let commit_hash =
18-
query ("git -C \""^gitdir^"\" show -s --pretty=format:%H")
19-
let commit_date =
20-
query ("git -C \""^gitdir^"\" show -s --pretty=format:%ci")
14+
let commit_hash = query "git show -s --pretty=format:%H"
15+
let commit_date = query "git show -s --pretty=format:%ci"
2116
let version = "0.1.5"
2217

2318
let string_option = function

0 commit comments

Comments
 (0)