Package herdtools7.7.54

[maranget]

herdtools7.7.54

The herdtools suite for simulating and studying weak memory models

---

• Homepage: http://diy.inria.fr/
• Source repo: git+https://github.com/herd/herdtools7.git
• Bug tracker: http://github.com/herd/herdtools7/issues/

---

🐫 Pull-request generated by opam-publish v2.0.0

[camelus]

☀️ All lint checks passed a63c1b6

• These packages passed lint tests: herdtools7.7.54

---

☀️ Installability check (+1)

• new installable packages (1): herdtools7.7.54

[kit-ty-kate]

I looked at the code and I'm not too sure what all this shell boilerplate is about

[kit-ty-kate]

Also, I've tried your package locally and it doesn't work. It just installs empty directories

[kit-ty-kate]

I've tried to make it work using dune + a simple configure script to send a PR back to you but I'm not sure to understand what you wanted installed in the first place. What executables do you want to install? Is herd a library or an executable?

[maranget]

I am working on it. I do not understand what happens either.
To answer your question, the intend is to install several exectables (herd7,litmus7 etc.) in PREFIX/bin, as well as files in PREFIX/share.

[kit-ty-kate]

I'm pretty sure you can do all that with dune without any shell scripts

[maranget]

It may be the case that one can do all that with dune, but I do not know how to proceed...

[maranget]

Hi, the package now has passed all checks. Would you consider merging in ?

--Luc

[kit-ty-kate]

Ok fine. I tried to have everything using dune but I stumbled upon ocaml/dune#1868 so I give up for now but once this is fixed. As I understand you want a way to also install it locally without opam so this requires the dune issue to be fixed to get rid of every shell scripts. I might have a partial solution in the meantime but for now this is more or less ok.

Thanks.

[maranget]

Hi Kate,

Installing the contents of various repositories /libdir into PREFIX/share/herdtools7/ is not the only difficulty I ran across. I could not find a simple way to instruct dune to install various executables herd.exe, litmus.exe etc. as PREFIX/bin/herd7, PREFIX/bin/litmus7, etc. Hence the shell scripts

[kit-ty-kate]

Hi Kate,

Installing the contents of various repositories /libdir into PREFIX/share/herdtools7/ is not the only difficulty I ran across. I could not find a simple way to instruct dune to install various executables herd.exe, litmus.exe etc. as PREFIX/bin/herd7, PREFIX/bin/litmus7, etc. Hence the shell scripts

That is easily fixed with (public_name). For instance:

(executable
  (name litmus)
  (public_name litmus7))

[kit-ty-kate]

Moreover, without (public_name) nothing gets installed nor built automatically by dune.

[maranget]

> Hi Kate, > > Installing the contents of various repositories /libdir into PREFIX/share/herdtools7/ is not the only difficulty I ran across. I could not find a simple way to instruct dune to install various executables herd.exe, litmus.exe etc. as PREFIX/bin/herd7, PREFIX/bin/litmus7, etc. Hence the shell scripts That is easily fixed with `(public_name)`. For instance: ``` (executable (name litmus) (public_name litmus7)) ```

Thanks, however there are tens for executable to install in directory tools and I am using (executables ...). I guess I could replace this by tens of (executable ...) stanzas.

…

-- You are receiving this because you authored the thread. Reply to this email directly or view it on GitHub: #14509 (comment)

[kit-ty-kate]

If you use (names) you can use its counterpart (public_names)

[kit-ty-kate]

It just follows the same order. The whole thing then would be:

(executables
  (names litmus herd)
  (public_names litmus7 herd7))

[maranget]

It just follows the same order. The whole thing then would be: ``` (executables (names litmus herd) (public_names litmus7 herd7)) ```

Thanks, I'll try this for the next release.

…

-- You are receiving this because you authored the thread. Reply to this email directly or view it on GitHub: #14509 (comment)