Add Makefile for the network functions

dslab-epfl / klint

Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).

MIT License

8 stars 5 forks source link

Add Makefile for the network functions #1

Closed kylerky closed 2 years ago

kylerky commented 2 years ago

A Makefile for network functions in C. At the moment, it does not support the BPF ones.

SolalPirelli commented 2 years ago

How does this differ from make -f ../Makefile.nf ?

kylerky commented 2 years ago

This makes verification easier. We just need one line, e.g., make verify-router, and then make will handle the recompilation and the invocation of klint.

SolalPirelli commented 2 years ago

It's indeed a nice idea, I'll look at this soon.