Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

MacOS Campatibility #28

Merged
merged 2 commits into from
Apr 18, 2024
Merged

MacOS Campatibility #28

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
ef7f6cd
MacOS Campatibility:
ffengyu Apr 2, 2024
dd72a98
Update frontend/config.ml
MackieLoeffel Apr 18, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 3 additions & 2 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,8 +6,9 @@ It is recommended to install the dependencies of Islaris via opam
(version 2.0.0 or newer) into a new switch. This can be done via the
following commands. You also need to make sure that you have the GNU
GMP library on your system (`libgmp-dev` package on Debian),
aarch64-linux-gnu-as (`binutils-aarch64-linux-gnu` package on Debian) and
riscv64-linux-gnu-as (`binutils-riscv64-linux-gnu` package on Debian).
aarch64-linux-gnu-as (`binutils-aarch64-linux-gnu` package on Debian,
`aarch64-elf-binutils` package on MacOS) and
riscv64-linux-gnu-as (`binutils-riscv64-linux-gnu` package on Debian, `riscv64-elf-binutils` on MacOS).

```
opam switch create . ocaml-variants.4.14.0+options ocaml-option-flambda --no-install
Expand Down
2 changes: 1 addition & 1 deletion frontend/config.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -62,7 +62,7 @@ let pkgname : string = "islaris"
let prefix : Filename.dirpath =
(* Obtain a normalised path to the executable. *)
let exe =
try Filename.realpath "/proc/self/exe" with Invalid_argument(_) ->
try Filename.realpath Sys.executable_name with Invalid_argument(_) ->
panic "Unable to find an absolute path to the current executable."
in
(* Is it in the development repo? Find the ["_build"] directory. *)
Expand Down
Loading