search

UniMath / Schools

77 stars 21 forks source link

Compilation fails #5

Closed benediktahrens closed 5 years ago

benediktahrens commented 5 years ago

@DanGrayson : can you help with this? It happens on a fresh clone of current Workshops.

/tmp/Workshops$ make
make -C UniMath TAGS all
make[1]: Entering directory '/tmp/Workshops/UniMath'
make[1]: *** No rule to make target 'TAGS'.  Stop.
make[1]: Leaving directory '/tmp/Workshops/UniMath'
Makefile:4: recipe for target 'build_UniMath' failed
make: *** [build_UniMath] Error 2
benediktahrens commented 5 years ago

The directory UniMath is empty. Probably the submodule needs to be initialized first?

benediktahrens commented 5 years ago

Specifically, I was able to advance by running

$ git submodule init
$ git submodule update
maggesi commented 5 years ago

Another possibility is to use option --recurse-submodules:

$ git clone --recurse-submodules https://github.com/UniMath/Workshops.git