I installed kali in virtualbox. Not knowing how much space I needed, I created a disk size of 25GB. The automatic partitioning mechanism created 8GB of swap and 17GB for kali.

I installed and updated kali. I added a few packages (the Nvidia and CUDA stuff) and followed the instructions for building a custom ISO.

I ran

Code:
./build.sh --distribution kali-rolling --verbose
It finished with errors. Here is the section of the build.log that shows the errors:

Code:
(Reading database ... 100%
(Reading database ... 19932 files and directories currently installed.)
Preparing to unpack .../0-mariadb-server-10.1_1%3a10.1.29-6_amd64.deb ...
ERROR: There's not enough space in /var/lib/mysql/
dpkg: error processing archive /tmp/apt-dpkg-install-fkrfKd/0-mariadb-server-10.1_1%3a10.1.29-6_amd64.deb (--unpack):
 new mariadb-server-10.1 package pre-installation script subprocess returned error exit status 1
Selecting previously unselected package libjudydebian1.
Preparing to unpack .../1-libjudydebian1_1.0.5-5_amd64.deb ...
Unpacking libjudydebian1 (1.0.5-5) ...
Selecting previously unselected package miredo.
Preparing to unpack .../2-miredo_1.2.6-4_amd64.deb ...
Unpacking miredo (1.2.6-4) ...
Selecting previously unselected package libfuse2:amd64.
Preparing to unpack .../3-libfuse2_2.9.7-1_amd64.deb ...
Unpacking libfuse2:amd64 (2.9.7-1) ...
Selecting previously unselected package fuse.
Preparing to unpack .../4-fuse_2.9.7-1_amd64.deb ...
Unpacking fuse (2.9.7-1) ...
Selecting previously unselected package libntfs-3g88.
Preparing to unpack .../5-libntfs-3g88_1%3a2017.3.23-2_amd64.deb ...
Unpacking libntfs-3g88 (1:2017.3.23-2) ...
Errors were encountered while processing:
 /tmp/apt-dpkg-install-fkrfKd/0-mariadb-server-10.1_1%3a10.1.29-6_amd64.deb
E: Sub-process /usr/bin/dpkg returned an error code (1)
P: Begin unmounting filesystems...
P: Saving caches...
Reading package lists...
Building dependency tree...
Reading state information...
It took hours for this whole process. If I increase the disk size in virtualbox (by how much?), is there a way to continue building the custom ISO from where it left off or do I have to start from scratch?