diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-11-19 03:38:42 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-11-19 03:38:42 +0100 |
| commit | b0292253ca9732b228ef505e3e719ae05c07c10c (patch) | |
| tree | 4cf13eb975ef8a133ca0b28de29814c94f7daccc | |
| parent | 399f3697b5468af6f827af4f8a856aa842d7c2b6 (diff) | |
feat: new distribution tool for OCL.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
| -rw-r--r-- | .gitignore | 2 | ||||
| -rwxr-xr-x | make_dist_linux.sh | 17 | ||||
| -rwxr-xr-x | make_dist_osx.sh | 17 | ||||
| -rw-r--r-- | tools/.gitkeep | 0 |
4 files changed, 36 insertions, 0 deletions
@@ -7,6 +7,8 @@ *.o *.obj +dist/* + docs/html docs/latex diff --git a/make_dist_linux.sh b/make_dist_linux.sh new file mode 100755 index 0000000..221b5f4 --- /dev/null +++ b/make_dist_linux.sh @@ -0,0 +1,17 @@ +#! /bin/sh + +outputDir=dist/lib/ + +mkdir -p $outputDir + +for f in dev/lib/*/*.hpp; do +baseName=`echo $f | cut -d "." -f 1` +echo "RUN:" cp --parents $f.hpp $outputDir$baseName +cp --parents $f.hpp $outputDir$baseName +done + +for f in tools/*.py; do +baseName=`echo $f | cut -d "." -f 1` +echo "RUN:" ditto $baseName.py $outputDir$baseName +ditto $baseName.py $outputDir$baseName +done diff --git a/make_dist_osx.sh b/make_dist_osx.sh new file mode 100755 index 0000000..9d91de3 --- /dev/null +++ b/make_dist_osx.sh @@ -0,0 +1,17 @@ +#! /bin/sh + +outputDir=dist/ + +mkdir -p $outputDir + +for f in dev/lib/*/*.hpp; do +baseName=`echo $f | cut -d "." -f 1` +echo "RUN:" ditto $baseName.hpp $outputDir$baseName +ditto $baseName.hpp $outputDir$baseName +done + +for f in tools/*.py; do +baseName=`echo $f | cut -d "." -f 1` +echo "RUN:" ditto $baseName.py $outputDir$baseName +ditto $baseName.py $outputDir$baseName +done diff --git a/tools/.gitkeep b/tools/.gitkeep deleted file mode 100644 index e69de29..0000000 --- a/tools/.gitkeep +++ /dev/null |