Answering the question with the counter example from the link in the math overflow question linked by Martin R:
Consider
$$u_n=(\underbrace{0,...,0}_{n-1},1/n,0,...)$$
and $K=\bigcup_n \{u_n\} \cup \{0\}$ a compact subset of $\mathscr l^p(\mathbb N)$. The convex hull of $K$ is given by elements of the form:
$$\sum_{n=1}^k a_n u_{n}\qquad\text{s.t.:}\quad \sum_{n=1}^k a_n≤1\qquad a_n≥0$$
So also $\sum_{n=1}^k 2^{-n}u_n$ lies in it. But this sequence converges to $\sum_{n=1}^\infty 2^{-n}u_n $ which does not lie in it.
However: From Theorem 5.35: The closed convex hull is compact in a complete normed vector space. So the convex hull of a compact set is pre-compact (or totally bounded if the original space is not complete).
For convenience we include the proof of the book, which shows the statement in the setting of completely metrisable locally convex vector spaces. More specifically one shows that for $K$ compact the convex hull $\langle K\rangle$ is completely bounded.
Let $\epsilon>0$, since $K$ is compact there is a finite covering of $K$ by balls of radius $\frac\epsilon2$, it is convenient to write this as:
$$K\subseteq F+B_{\epsilon/2}(0)$$
for a finite set $F$. It then follows that:
$$\langle K\rangle \subseteq \langle F\rangle +B_{\epsilon/2}(0)$$
because $B_{\epsilon/2}(0)$ is already convex. Now since $F$ is finite one has that $\langle F\rangle$ is compact and hence admits a covering by finitely many balls of radius $\frac\epsilon2$, write $\langle F\rangle = \widetilde F + B_{\epsilon/2}(0)$ for some finite set $\widetilde F$, then:
$$\langle K \rangle \subseteq \langle F\rangle + B_{\epsilon/2}(0)\subseteq \widetilde F + B_{\epsilon/2}(0)+B_{\epsilon/2}(0)\subseteq \widetilde F + B_{\epsilon}(0)$$
Giving the conclusion that for any $\epsilon>0$ you may cover $\langle K\rangle$ by finitely many balls of radius $\epsilon$, whence $\langle K \rangle$ is totally bounded.
It suffices to show the following (and then use induction)
Claim. If $K$ is a convex and compact subset of a Banach space $E$ and $x_0\in E$, then $\,\overline{\mathrm{co}}\,(K\cup\{x_0\})$ is also compact.
Proof of the Claim. Let $\{z_n\}\subset \overline{\mathrm{co}}\,(K\cup\{x_0\})$, we need to show that there exists a converging subsequence of $\{z_n\}$ with limit in
$\overline{\mathrm{co}}\,(K\cup\{x_0\})$.
First of all, there exists another sequence,
$\{w_n\}\subset {\mathrm{co}}\,(K\cup\{x_0\})$, such that
$$
\|z_n-w_n\|<\frac{1}{n}\qquad\text{and}\qquad w_n=t_nk_n+(1-t_n)x_0,
$$
where $k_n\in K$ and $t_n\in[0,1]$. Clearly, $\{t_n\}$ possesses and converging subsequence
$\{t_{n_j}\}$ and $k_{n_j}$ possesses also a converging subsequence. For simplicity, and economy of indices, say that
$$
t_\ell\to t\in[0,1]\qquad\text{and}\qquad k_\ell\to k\in K.
$$
Then
$$
w_\ell\to tk+(1-k)x_0\in \overline{\mathrm{co}}\,(K\cup\{x_0\})
$$
and as $z_\ell-w_\ell\to 0$, we also have that
$$
z_\ell\to tk+(1-k)x_0\in \overline{\mathrm{co}}\,(K\cup\{x_0\}).
$$
Hence, every sequence in
$\overline{\mathrm{co}}\,(K\cup\{x_0\})$
possesses a converging subsequenc in
$\overline{\mathrm{co}}\,(K\cup\{x_0\})$.
Best Answer
Since $X$ is complete it is enough to show that $\mathrm{hull}(K)$ is completely bounded.
The proof of this fact you can find in theorem 3.24 in Rudin's Functional analysis. This proof follows the same steps proposed by Harald Hanche-Olsen.