]> https://gitweb.dealii.org/ - candi.git/commitdiff
opencascade: corrected NAME from former commit
authorUwe Köcher <koecher@hsu-hamburg.de>
Mon, 2 Nov 2015 20:52:05 +0000 (21:52 +0100)
committerUwe Köcher <koecher@hsu-hamburg.de>
Mon, 2 Nov 2015 20:52:05 +0000 (21:52 +0100)
deal.II-toolchain/packages/opencascade.package

index 45f8c257a0265618435a8f4976315b3b9c4efad3..3a5649915c92efb7ee23dad78452667bfac96fe2 100644 (file)
@@ -18,7 +18,7 @@ else
     # download release tarball
     
     VERSION=0.17
-    NAME=OCE-${VERSION}
+    NAME=oce-OCE-${VERSION}
     PACKING=.tar.gz
     SOURCE=https://github.com/tjhei/oce/releases/download/OCE-${VERSION}/
     CHECKSUM=f1a89395c4b0d199bea3db62b85f818d

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.