Skip to content

Commit

Permalink
Included a js_of_ocaml version of superbol in the .vsix
Browse files Browse the repository at this point in the history 
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.
  • Loading branch information
@bclement-ocp @emilienlemaire
bclement-ocp authored and emilienlemaire committed Dec 20, 2024
1 parent 922588f commit 077f9f9
Show file tree
Hide file tree
Showing 33 changed files with 95 additions and 250 deletions.
64 changes: 32 additions & 32 deletions .drom
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

9 changes: 2 additions & 7 deletions src/lsp/cobol_cfg/version.mlt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,13 +11,8 @@ let query cmd =
else None
with End_of_file -> None

let gitdir =
try Sys.getenv "DUNE_SOURCEROOT" with Not_found -> ""

let commit_hash =
query ("git -C \""^gitdir^"\" show -s --pretty=format:%H")
let commit_date =
query ("git -C \""^gitdir^"\" show -s --pretty=format:%ci")
let commit_hash = query "git show -s --pretty=format:%H"
let commit_date = query "git show -s --pretty=format:%ci"
let version = "0.1.5"

let string_option = function
Expand Down
9 changes: 2 additions & 7 deletions src/lsp/cobol_common/version.mlt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,13 +11,8 @@ let query cmd =
else None
with End_of_file -> None

let gitdir =
try Sys.getenv "DUNE_SOURCEROOT" with Not_found -> ""

let commit_hash =
query ("git -C \""^gitdir^"\" show -s --pretty=format:%H")
let commit_date =
query ("git -C \""^gitdir^"\" show -s --pretty=format:%ci")
let commit_hash = query "git show -s --pretty=format:%H"
let commit_date = query "git show -s --pretty=format:%ci"
let version = "0.1.5"

let string_option = function
Expand Down
9 changes: 2 additions & 7 deletions src/lsp/cobol_config/version.mlt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,13 +11,8 @@ let query cmd =
else None
with End_of_file -> None

let gitdir =
try Sys.getenv "DUNE_SOURCEROOT" with Not_found -> ""

let commit_hash =
query ("git -C \""^gitdir^"\" show -s --pretty=format:%H")
let commit_date =
query ("git -C \""^gitdir^"\" show -s --pretty=format:%ci")
let commit_hash = query "git show -s --pretty=format:%H"
let commit_date = query "git show -s --pretty=format:%ci"
let version = "0.1.5"

let string_option = function
Expand Down
9 changes: 2 additions & 7 deletions src/lsp/cobol_data/version.mlt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,13 +11,8 @@ let query cmd =
else None
with End_of_file -> None

let gitdir =
try Sys.getenv "DUNE_SOURCEROOT" with Not_found -> ""

let commit_hash =
query ("git -C \""^gitdir^"\" show -s --pretty=format:%H")
let commit_date =
query ("git -C \""^gitdir^"\" show -s --pretty=format:%ci")
let commit_hash = query "git show -s --pretty=format:%H"
let commit_date = query "git show -s --pretty=format:%ci"
let version = "0.1.5"

let string_option = function
Expand Down
9 changes: 2 additions & 7 deletions src/lsp/cobol_indent/version.mlt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,13 +11,8 @@ let query cmd =
else None
with End_of_file -> None

let gitdir =
try Sys.getenv "DUNE_SOURCEROOT" with Not_found -> ""

let commit_hash =
query ("git -C \""^gitdir^"\" show -s --pretty=format:%H")
let commit_date =
query ("git -C \""^gitdir^"\" show -s --pretty=format:%ci")
let commit_hash = query "git show -s --pretty=format:%H"
let commit_date = query "git show -s --pretty=format:%ci"
let version = "0.1.5"

let string_option = function
Expand Down
9 changes: 2 additions & 7 deletions src/lsp/cobol_indent_old/version.mlt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,13 +11,8 @@ let query cmd =
else None
with End_of_file -> None

let gitdir =
try Sys.getenv "DUNE_SOURCEROOT" with Not_found -> ""

let commit_hash =
query ("git -C \""^gitdir^"\" show -s --pretty=format:%H")
let commit_date =
query ("git -C \""^gitdir^"\" show -s --pretty=format:%ci")
let commit_hash = query "git show -s --pretty=format:%H"
let commit_date = query "git show -s --pretty=format:%ci"
let version = "0.1.5"

let string_option = function
Expand Down
9 changes: 2 additions & 7 deletions src/lsp/cobol_lsp/version.mlt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,13 +11,8 @@ let query cmd =
else None
with End_of_file -> None

let gitdir =
try Sys.getenv "DUNE_SOURCEROOT" with Not_found -> ""

let commit_hash =
query ("git -C \""^gitdir^"\" show -s --pretty=format:%H")
let commit_date =
query ("git -C \""^gitdir^"\" show -s --pretty=format:%ci")
let commit_hash = query "git show -s --pretty=format:%H"
let commit_date = query "git show -s --pretty=format:%ci"
let version = "0.1.5"

let string_option = function
Expand Down
Loading

0 comments on commit 077f9f9

Please sign in to comment.