Der bewaffnete Angriff der Afrikaner auf die spanische Grenze und die
Grenzbeamten in Ceuta dürfte als Angriffskrieg zu werten sein. Oder sehe
ich das verkehrt?

Ist für einen Krieg formell noch mehr nötig, etwa eine
Kriegserklärung?

Die Historie lehrt uns, dass für ein Kriegsgeschehen keine offizielle Kriegserklärung abgegeben werden muss.

https://de.wikipedia.org/wiki/Kriegserklärung#Kriege_ohne_Kriegserklärungen

Wenn nicht, führt Spanien einen Verteidigungskrieg gegen Afrika und
müsste sich nun mit seinem Militär wehren.

Das Problem ist der Kriegsgegner, Afrika ist ja keine einzelne Nation, noch nicht einmal ein Bündnis. Die Angreifer sind im Grunde irgendwelche Chaoten, die eine massive Grenzverletzung begehen. Das der spanische Staat sich nicht wehrt (die Angreifer dürfen nach ihrer massiven Grenzverletzung einen Asylantrag stellen und bleiben), ist in meinen Augen eine weitere EU-Bankrotterklärung.

Das Beispiel wird Schule machen ...