From what I heard, the free Portal does not come with Source SDK, like the Nividia and ATI offers.
I got it in the SDK from the mac thing.
Try refreshing or resetting sdk content.
You had to make another thread to ask the same question?
I’m fairly sure you can add it through Edit Game Configurations like any other Source game. The only difference is that if you bought it it automatically adds it to your config.