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.

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

Build for 4_08_1 #1

Closed
wants to merge 9 commits into from
Closed

Build for 4_08_1 #1

wants to merge 9 commits into from

Conversation

cristianoc
Copy link
Collaborator

No description provided.

@cristianoc
Copy link
Collaborator Author

cristianoc commented Apr 14, 2020

How to test on Infer :

--- a/infer/src/Makefile
+++ b/infer/src/Makefile
-DUNE_BUILD = dune build --profile=$(BUILD_MODE)
+DUNE_BUILD = dune build @check @all --profile=$(BUILD_MODE)
  • Build normally
make -j BUILD_MODE=dev
  • Go to the right directory from which file paths start:
% cd infer/infer
  • Run the analysis
% path/to/reanalyze.exe -dce-cmt _build/default/src/.InferModules.objs/byte/

Screen Shot 2020-04-14 at 9 28 24 AM

@cristianoc
Copy link
Collaborator Author

@jvillard ^^^

@cristianoc
Copy link
Collaborator Author

Now all the work is done in master: and here we just switch compiler version and turn off examples (which rely on bucklescript and only work on 4.06).

@cristianoc
Copy link
Collaborator Author

This branch and PR will be abandoned as all the functionality is now present in master.
See instructions for building on 4.08 in the README:
220a754#diff-04c6e90faac2675aa89e2176d2eec7d8R10

Not clear yet what to do for publishing binaries to npm, and whether to support several version of OCaml there. At the moment, binaries for 4.06 are published on npm for new releases.
Native OCaml projects tend not to use npm.

@cristianoc
Copy link
Collaborator Author

Closing this. Can be used for downloading the binary for CI -- however there are build instructions for all the supported plarforms on maser.

@cristianoc cristianoc closed this Apr 16, 2020
@cristianoc cristianoc deleted the 4_08_1 branch April 20, 2020 12:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant