Dependency on herdtools7 needs making explicit

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Closed johnwickerson closed 3 years ago

johnwickerson commented 5 years ago

Otherwise I get:

scripts/obj_splitmus: line 57: litmus7: command not found

MattWindsor91 commented 3 years ago

We don't depend on herdtools7 here anymore (except from a code reuse/licence perspective!), as all of that interop has moved to c4t; closing