[P4-dev] p4info not generated by p4c

Raj Joshi rajjoshi at comp.nus.edu.sg
Tue Jun 11 03:46:29 EDT 2019


*Just an additional note:* The exercises are all bundled together with an
easy to run framework. `make run` is the way to invoke the framework which
will take care of creating the build directory and so on.

-- Raj


On Mon, Jun 10, 2019 at 3:44 PM Harsh Gondaliya <
harshgondaliya_vinodbhai at srmuniv.edu.in> wrote:

> Just received a prompt reply  on GitHub from Andy:
> *The command line options --p4runtime-files basic.p4rt.txt means that you
> want to create a text-format P4Info file, with the name basic.p4rt.txt. If
> you want a file named basic.p4.p4info.txtinstead, change the command line,
> or rename the file after compiling.*
>
> I understood what was the issue. Thanks.
>
> On Mon, Jun 10, 2019 at 12:55 PM Harsh Gondaliya <
> harshgondaliya_vinodbhai at srmuniv.edu.in> wrote:
>
>> I am compiling the basic.p4 program from p4lang/tutorials/exercises using
>> the command:
>>
>> p4 at p4-VirtualBox:~/p4-setup/exercises/basic$ p4c --target bmv2 --arch
>> v1model --p4runtime-files basic.p4rt.txt basic.p4
>>
>> The .json and .p4rt file are generated but no build directory or the
>> p4info file (basic.p4.p4info.txt) is being generated when the compilation
>> ends. I tried the same command with p4c-bm2-ss too, but no results.
>>
>> What can be done in this case?
>>
>> *I had installed p4c using **install-p4dev-p4runtime.sh* *script
>> available on *https://github.com/jafingerhut/p4-guide. I have filed an
>> issue there.
>>
> _______________________________________________
> P4-dev mailing list
> P4-dev at lists.p4.org
> http://lists.p4.org/mailman/listinfo/p4-dev_lists.p4.org
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.p4.org/pipermail/p4-dev_lists.p4.org/attachments/20190611/23d95d72/attachment.html>


More information about the P4-dev mailing list