Not sure how much rain you get - I believe texas is pretty dry, but it doesn't hurt to dig a small drainage ditch and put in some weeping tile and backfill with gravel, have the tile come out on the low side of the pool, this will ensure you don't get moisture hanging around there indefinitely.
Other than that, grading or a small retaining wall would suffice.