Add owl

[moazzammoriani]

This is a partly concerning #331.

[moazzammoriani]

After much hacking with the Makefile variable called PACKAGES and also adjusting the pin of the base package from v0.14.3 to v0.15.0--despite the fact that the version of base that owl depends on is unspecified--, I was able to at least get owl to show up in the list of packages to be installed before the build process. From this perhaps in can be inferred that base.v0.15.0 is required by owl rather than base.v0.14.3. However, owl is still failing to install because compilation of base is failing. A little research led me to discover that this is a known issue. Perhaps the solution then is to use an older version of owl @Sudha247 ?

[Sudha247]

Thanks for the PR @moazzammoriani! Looking at the CI, you're spot on about the issue with base. Here's a patch to make it work with trunk opam pin add base.0.15.0 git+https://github.com/patricoferris/base.git#500+random. I think it's worth trying it, but please note that this is not an official version.

Perhaps the solution then is to use an older version of owl

I don't think that's going to work, unless the older version of owl doesn't depend on base. In any case, it's best to stick with the latest version of owl for accurate results.

[moazzammoriani]

It appears that this patch doesn't quite suit the needs of this particular problem yet.

I did gain some insight though into why this patch for base didn't work. While testing the patched version of the package on my local environment, opam gave me the following message.

[base.0.15.0] synchronised from git+https://github.com/patricoferris/base.git#500+random
base is now pinned to git+https://github.com/patricoferris/base.git#500+random (version 0.15.0)

The following actions will be performed:
  ⊘ remove    owl      1.0.2*             [conflicts with base]
  ↘ downgrade sexplib0 v0.15.0 to v0.14.0 [required by base]
  ⊘ remove    stdio    v0.15.0            [conflicts with base]
  ↘ downgrade base     v0.15.0 to 0.15.0*
===== ↘ 2   ⊘ 2 =====

This implies that there are at least three points of failure:

1. owl clearly doesn't work with it,
2. sexplib0 needs to be pinned to v0.14.0, and I'm not sure that is possible since it's already pinned to a patched version (https://github.com/ocaml-bench/sandmark/blob/main/Makefile#L136),
3. and stdio clearly doesn't play well with this patch either

[moazzammoriani]

Added the pin to the Makefile

[shakthimaan]

Where is make install step?

[shakthimaan]

Why /opt, and why not /usr/local/lib? The other option is to install in /home/opam and update LD_LIBRARY_PATH.

[moazzammoriani]

I'm actually not sure why /opt is used I just followed the Dockerfile