Skip to content
Snippets Groups Projects
Commit 36c77d36 authored by Lipari Giuseppe's avatar Lipari Giuseppe
Browse files

fixing general makefile

parent a19f4e75
No related branches found
No related tags found
No related merge requests found
all: ucb_etat_de_l_art ucb_categorie exploration_graph
initialize_RMB_LMB:
all :
$(MAKE) -C initialize_RMB_LMB
ucb_etat_de_l_art: initialize_RMB_LMB
$(MAKE) -C cache_block_id
$(MAKE) -C UCB_local
ucb_categorie: cache_block_id
$(MAKE) -C ucb_otawa
cache_block_id:
$(MAKE) -C cache_block_id
exploration_graph:
$(MAKE) -C explo
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment