diff --git a/sw/ground_segment/cockpit/Makefile b/sw/ground_segment/cockpit/Makefile index 2c111a8bb9..6240579ff6 100644 --- a/sw/ground_segment/cockpit/Makefile +++ b/sw/ground_segment/cockpit/Makefile @@ -34,10 +34,14 @@ MAIN=gcs CMO=$(ML:.ml=.cmo) CMX=$(ML:.ml=.cmx) -all : $(MAIN) +all : $(MAIN) map2d opt : $(MAIN).opt +# Only for backward compatibility: should disappear +map2d : gcs + [ -L $@ ] || [ -f $@ ] || ln -s $< $@ + $(MAIN) : $(CMO) @echo OL $@ @@ -69,4 +73,4 @@ editFP.cmo : editFP.cmi sectors.cmo : sectors.cmi clean: - rm -f *~* *.cm* *.o *.out *.opt map2d + rm -f *~* *.cm* *.o *.out *.opt map2d gcs