tree d82b539cf66a2c994b6117bc98657f933b290928
parent 8e8bf63313e07718a16c91cd5cbcf9c47103ded7
author manarabdelaty <manarabdelatty@aucegypt.edu> 1618602837 +0200
committer manarabdelaty <manarabdelatty@aucegypt.edu> 1618602837 +0200

Update DV Makefiles

- CARAVEL_PATH is now determined from CARAVEL_MASTER variable