Browse Source

Auto creation of bin/classes directories if they do not exist.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@536 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 18 years ago
parent
commit
8a058dc21e
  1. 2
      prism/Makefile

2
prism/Makefile

@ -313,7 +313,7 @@ cuddpackageforce: checks
prism: checks make_dirs bin_scripts
make_dirs:
@mkdir -p obj/dd obj/jdd obj/odd obj/dv obj/prism obj/mtbdd obj/sparse obj/hybrid obj/simulator
@mkdir -p bin classes obj/dd obj/jdd obj/odd obj/dv obj/prism obj/mtbdd obj/sparse obj/hybrid obj/simulator
@for dir in $(MAKE_DIRS); do \
echo Making src/$$dir ...; \
(cd src/$$dir && \

Loading…
Cancel
Save