Use local protocol definition for IPv4

External protocol numbers break compilation: AdaCore/RecordFlux#530
Componolit · Dec 29, 2020 · bb9e758 · bb9e758
1 parent 5d75f8e
commit bb9e758
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/ipv4.rflx b/ipv4.rflx
@@ -1,5 +1,3 @@
-with Protocol_Numbers;
-
 package IPv4 is
 
    type Version is range 4 .. 4 with Size => 4;
@@ -10,6 +8,7 @@ package IPv4 is
    type Identification is mod 2**16;
    type Fragment_Offset is mod 2**13;
    type TTL is mod 2**8;
+   type Protocol is (PROTOCOL_ICMP => 1, PROTOCOL_UDP => 17) with Size => 8, Always_Valid;
    type Header_Checksum is mod 2**16;
    type Address is mod 2**32;
 
@@ -52,7 +51,7 @@ package IPv4 is
          Flag_MF : Boolean;
          Fragment_Offset : Fragment_Offset;
          TTL : TTL;
-         Protocol : Protocol_Numbers::Protocol;
+         Protocol : Protocol;
          Header_Checksum : Header_Checksum;
          Source : Address;
          Destination : Address