Petrol is technically just short for petroleum, which is latin for "rock oil"

Gasoline is from gas + plus the chemical suffix "ol" short for the latin "oleum", and "ine" meaning "made of".